We've got lots of freedom and independence, but you are never on your own when you encounter problems.
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|
|Publication Type||Conference Paper|
|Year of Publication||2015|
|Authors||Zulkoski, E., V. Ganesh, and K. Czarnecki|
|Conference Name||International Conference on Automated Deduction|
|Conference Location||Berlin, Germany|