Eight-williamson matrix

MathCheck is an award-winning free software system using the SAT+CAS paradigm. Professor Vijay Ganesh started and leads the project and postdoctoral fellow Curtis Bright is currently the main developer.

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.