Automating algebraic proof systems is NP-hard.

Susanna F. de Rezende, Mika Gs, Jakob Nordstrm, Toniann Pitassi, Robert Robere, Dmitry Sokolov

Browse the full STOC paper archive.