%0 Conference Paper %1 conf/ijcai/ZulkoskiGC16 %A Zulkoski, Edward %A Ganesh, Vijay %A Czarnecki, Krzysztof %B IJCAI %D 2016 %E Kambhampati, Subbarao %I IJCAI/AAAI Press %K dblp %P 4228-4233 %T MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#ZulkoskiGC16 %@ 978-1-57735-771-1

@inproceedings{conf/ijcai/ZulkoskiGC16, added-at = {2022-12-30T00:00:00.000+0100}, author = {Zulkoski, Edward and Ganesh, Vijay and Czarnecki, Krzysztof}, biburl = {https://www.bibsonomy.org/bibtex/26139f02787089dc8b403eec04bbde402/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2016}, editor = {Kambhampati, Subbarao}, ee = {http://www.ijcai.org/Abstract/16/636}, interhash = {d4453c79591504fb18880a1cd8dc25e0}, intrahash = {6139f02787089dc8b403eec04bbde402}, isbn = {978-1-57735-771-1}, keywords = {dblp}, pages = {4228-4233}, publisher = {IJCAI/AAAI Press}, timestamp = {2024-04-10T11:30:40.000+0200}, title = {MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#ZulkoskiGC16}, year = 2016 }