MathCheck is an award-winning free software system using the SAT+CAS paradigm. Currently the project is led by professors Vijay Ganesh of Georgia Tech and Curtis Bright of the University of Windsor. The primary developers of MathCheck have included Curtis Bright, Ed Zulkoski, Albert Heinle, and Saeed Nejati.
The results of MathCheck have been published in a number of high-profile venues including CADE, IJCAI, CASC, JAR, AAAI, JSC, AMAI, AAECC, IWOCA, CASCON, and ISSAC, and have been a major component of two PhD theses.