Eight-williamson matrix

MathCheck is an award-winning free software system using the SAT+CAS paradigm.  Professor Vijay Ganesh started the project at the University of Waterloo (now at Georgia Tech).  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.