MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.

Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki

Browse the full CADE paper archive.