People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
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|