You are here


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 CADEIJCAICASCJAR​, AAAI, and ISSAC, and have been a major component of two PhD theses.