Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Title:
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Author:
Kohlhase, Michael. editor.
ISBN:
9783319425474
Physical Description:
XIV, 163 p. 21 illus. online resource.
Series:
Lecture Notes in Artificial Intelligence ; 9791
Abstract:
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 selected from 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.
Subject Term:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-42547-4