In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.
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 |
| Date Published | 08/2015 |
| Publisher | Springer |
| Conference Location | Berlin, Germany |
| Refereed Designation | Refereed |
| Attachment | Size |
|---|---|
| mathcheck.pdf | 415.69 KB |
| cade.pptx | 767.11 KB |
