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.
Produkteigenschaften
- Artikelnummer: 9783319206141
- Medium: Buch
- ISBN: 978-3-319-20614-1
- Verlag: Springer International Publishing
- Erscheinungstermin: 29.06.2015
- Sprache(n): Englisch
- Auflage: 2015
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert
- Gewicht: 5796 g
- Seiten: 359
- Format (B x H x T): 155 x 235 x 21 mm
- Ausgabetyp: Kein, Unbekannt