Curtis Bright, Ilias Kotsireas, Vijay Ganesh. SAT solvers and computer algebra systems: a powerful combination for mathematics. In Tima Pakfetrat, Guy-Vincent Jourdan, Kostas Kontogiannis, Robert F. Enenkel, editors, Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, CASCON 2019, Markham, Ontario, Canada, November 4-6, 2019. pages 323-328, ACM, 2019. [doi]
Abstract is missing.