
Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Springer (Publisher)
Published on 12. July 2016
Book
Paperback/Softback
XIV, 163 pages
978-3-319-42546-7 (ISBN)
Description
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.
The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.
The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.
More details
Series
Edition
1st ed. 2016
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
21 s/w Abbildungen
XIV, 163 p. 21 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 11 mm
Weight
283 gr
ISBN-13
978-3-319-42546-7 (9783319425467)
DOI
10.1007/978-3-319-42547-4
Schweitzer Classification
Other editions
Additional editions

Michael Kohlhase | Moa Johansson | Bruce Miller
Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
E-Book
07/2016
Springer
€42.79
Available for download