Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Published on 29. June 2015
Book
Paperback/Softback
XXI, 359 pages
978-3-319-20614-1 (ISBN)
Description
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.
More details
Series
Edition
2015 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Research
Illustrations
84 s/w Abbildungen
XXI, 359 p. 84 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 21 mm
Weight
581 gr
ISBN-13
978-3-319-20614-1 (9783319206141)
DOI
10.1007/978-3-319-20615-8
Schweitzer Classification
Other editions
Additional editions
Manfred Kerber | Jacques Carette | Cezary Kaliszyk
Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
E-Book
06/2015
Springer
€53.49
Available for download
Content
Invited Talks.- Calculemus.- Digital Mathematics Libraries.- Mathematical Knowledge Management.- Projects and Surveys.- Systems and Data.