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 |