History

The SAT+CAS paradigm used by MathCheck originated in two works published in 2015: