MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.

Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki

Browse the full SYNASC paper archive.