Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.
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|