@inproceedings{9,
  author = {Ed Zulkoski and Vijay Ganesh and Krzysztof Czarnecki},
  title = {MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers},
  year = {2016},
  journal = {MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers},
  url = {https://www.ijcai.org/Proceedings/16/Papers/636.pdf},
}