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
Post tagged: Computer science, Haskell

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