×

Found 2 Documents (Results 1–2)

MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers. (English) Zbl 1465.68300

Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 607-622 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software