Zulkoski, E., Ganesh, V., & Czarnecki, K. (2016). MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers Presented at the MathCheck: A Math Assistant Based on a Combination of Computer Algebra Systems and SAT Solvers conference. Retrieved from https://www.ijcai.org/Proceedings/16/Papers/636.pdf
Reference author: Krzysztof Czarnecki
First name
Krzysztof
Last name
Czarnecki
Bright, C., Ganesh, V., Heinle, A., Kotsireas, I., Nejati, S., & Czarnecki, K. (2016). MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures Presented at the MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures conference. Retrieved from http://ceur-ws.org/Vol-1804/paper-04.pdf
Bright, C., Ganesh, V., Heinle, A., Kotsireas, I., Nejati, S., & Czarnecki, K. (2016). MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures Presented at the MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures conference. https://doi.org/10.1007/978-3-319-45641-6_9
Zulkoski, E., Ganesh, V., & Czarnecki, K. (2015). MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers Presented at the MathCheck: A Math Assistant Based on a Combination of Computer Algebra Systems and SAT Solvers conference. https://doi.org/10.1007/978-3-319-21401-6_41