Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence
Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Manfred Kerber | Jacques Carette | Cezary Kaliszyk | Florian Rabe | Volker Sorge
Mathematics / Applied
This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.
| Publication Date: | 29 June 2015 |
| Publisher: | Springer International Publishing |
| Imprint: | Springer |
| ISBN-13: | 9783319206141 |
| Format: | Paperback softback |
| Page Count: | 359 |