@conference {625,
	title = {MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers},
	booktitle = {International Conference on Automated Deduction},
	year = {2015},
	month = {08/2015},
	publisher = {Springer},
	organization = {Springer},
	address = {Berlin, Germany},
	attachments = {http://gsd.uwaterloo.ca/sites/default/files/mathcheck.pdf , http://gsd.uwaterloo.ca/sites/default/files/cade.pptx},
	author = {Edward  Zulkoski and Vijay Ganesh and Krzysztof Czarnecki}
}