Summer Reading in Theory Gödel's Lost Letter and P=NP, 17 Jul 2019 Some formative books in mathematics and computing…
Groebner Bases and Automatic Geometry Rigorous Trivialities, 05 Nov 2007 Today I’m going to talk about using modern methods of algebraic geometry to automate (in large part) the proofs of statements…