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.
Reihe
Sprache
Verlagsort
Verlagsgruppe
Springer International Publishing
Illustrationen
84 s/w Abbildungen
XXI, 359 p. 84 illus.
Dateigröße
ISBN-13
978-3-319-20615-8 (9783319206158)
DOI
10.1007/978-3-319-20615-8
Schweitzer Klassifikation
Invited Talks.- Calculemus.- Digital Mathematics Libraries.- Mathematical Knowledge Management.- Projects and Surveys.- Systems and Data.
