C. Bright, Kotsireas, I. S. , and Ganesh, V. , “SAT solvers and computer algebra systems: a powerful combination for mathematics”, in Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, CASCON 2019, Markham, Ontario, Canada, November 4-6, 2019, 2019, pp. 323–328.