Watt, Stephen M. (ed.); Davenport, James H. (ed.); Sexton, Alan P. (ed.); Sojka, Petr (ed.); Urban, Josef (ed.) Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. (English) Zbl 1293.68035 Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). xx, 458 p. (2014). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{S. M. Watt} (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings. Berlin: Springer (2014; Zbl 1293.68035) Full Text: DOI
Carette, Jacques (ed.); Dixon, Lucas (ed.); Sacerdoti Coen, Claudio (ed.); Watt, Stephen M. (ed.) Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. (English) Zbl 1165.68005 Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). xix, 493 p. (2009). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{J. Carette} (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6--12, 2009. Proceedings. Berlin: Springer (2009; Zbl 1165.68005) Full Text: DOI