MathCheck is an award-winning free software system using the SAT+CAS paradigm. Professor Vijay Ganesh from the University of Waterloo started and leads the project. Curtis Bright is the lead developer, initially as a postdoctoral fellow and now as an assistant professor at the University of Windsor. Other developers of MathCheck have included 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.