@inproceedings{12,
  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 = {2015},
  journal = {MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers},
  url = {https://link.springer.com/chapter/10.1007\%2F978-3-319-21401-6_41},
  doi = {10.1007/978-3-319-21401-6_41},
}