# Posts tagged "Mathematics"

# Patterns in modpow

Posted on November 14, 2019 by Aaron Rotenberg

# Solution to the FiveThirtyEight Riddler Classic puzzle for March 23, 2018

Posted on March 24, 2018 by Aaron Rotenberg

# 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

# Exact (integer arithmetic only) capsule intersection test

Posted on June 6, 2015 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