×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 388-403 (2014).
MSC:  68T15 03B20 68T27 68T30
BibTeX Cite
Full Text: DOI
Schreck, Pascal (ed.) et al., Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22–24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25069-9/pbk). Lecture Notes in Computer Science 6877. Lecture Notes in Artificial Intelligence, 201-220 (2011).
MSC:  68T15 03B35
BibTeX Cite
Full Text: DOI

Filter Results by …

Author
Year of Publication
Classification
Software