MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers

Title MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers
Author
Year of Publication
2016
Conference Name
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
Download citation