Zulkoski et al. "MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[Zulkoski et al. "MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/zulkoski2016ijcai-mathcheck/)
BibTeX
@inproceedings{zulkoski2016ijcai-mathcheck,
title = {{MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers}},
author = {Zulkoski, Edward and Ganesh, Vijay and Czarnecki, Krzysztof},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {4228-4233},
url = {https://mlanthology.org/ijcai/2016/zulkoski2016ijcai-mathcheck/}
}