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

Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki

Browse the full IJCAI paper archive.