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 |
2015
|
| Conference Name |
MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers
|
| URL |
https://link.springer.com/chapter/10.1007\%2F978-3-319-21401-6_41
|
| DOI |
10.1007/978-3-319-21401-6_41
|
| Download citation |