Zulkoski, Edward; Bright, Curtis; Heinle, Albert; Kotsireas, Ilias; Czarnecki, Krzysztof; Ganesh, Vijay Combining SAT solvers with computer algebra systems to verify combinatorial conjectures. (English) Zbl 1410.68413 J. Autom. Reasoning 58, No. 3, 313-339 (2017). MSC: 68W30 05B20 05C15 05C38 68T15 PDFBibTeX XMLCite \textit{E. Zulkoski} et al., J. Autom. Reasoning 58, No. 3, 313--339 (2017; Zbl 1410.68413) Full Text: DOI
Zulkoski, Edward; Ganesh, Vijay; Czarnecki, Krzysztof MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers. (English) Zbl 1465.68300 Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 607-622 (2015). MSC: 68V15 05-04 05C15 05C45 05C70 68R10 68W30 PDFBibTeX XMLCite \textit{E. Zulkoski} et al., Lect. Notes Comput. Sci. 9195, 607--622 (2015; Zbl 1465.68300) Full Text: DOI