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 |