Quaresma, Pedro Automatic deduction in an AI geometry book. (English) Zbl 1515.68346 Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 221-226 (2018). MSC: 68V15 51-04 68V30 68W30 PDFBibTeX XMLCite \textit{P. Quaresma}, Lect. Notes Comput. Sci. 11110, 221--226 (2018; Zbl 1515.68346) Full Text: DOI
Noda, Takeo; Kaneko, Masataka Collaborative use of mathematical content generated by CindyJS on tablets. (English) Zbl 1395.68326 Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 379-388 (2018). MSC: 68U35 PDFBibTeX XMLCite \textit{T. Noda} and \textit{M. Kaneko}, Lect. Notes Comput. Sci. 10931, 379--388 (2018; Zbl 1395.68326) Full Text: DOI