# Posts tagged "Computer science"

# More problems that seem easy but are actually NP-hard

Posted on January 29, 2018 by Aaron Rotenberg

# How hard is determining whether an algebraic set is nonempty?

Posted on January 22, 2018 by Aaron Rotenberg

# A plausible-sounding data structure that probably doesn't exist

Posted on February 22, 2016 by Aaron Rotenberg

# Propositional logic proofs are awful

Posted on July 8, 2013 by Aaron Rotenberg

# The shortest proof for every theorem

Posted on June 15, 2013 by Aaron Rotenberg