TY  - RPRT
TI  - SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics
AU  - Curtis Bright
AU  - Ilias Kotsireas
AU  - Vijay Ganesh
PY  - 2019
UR  - https://arxiv.org/abs/1907.04408
ID  - 1907.04408
ER  -