×

Found 4 Documents (Results 1–4)

Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues. (English) Zbl 1367.68300

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 132-146 (2017).
MSC:  68T30 68T27 68U35
PDFBibTeX XMLCite
Full Text: DOI Link

Mathematical practice, crowdsourcing, and social machines. (English) Zbl 1390.01101

Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 98-119 (2013).
MSC:  01A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Year of Publication

Main Field

Software