Overview
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.
- | Author: Manfred Kerber
- | Publisher: Springer
- | Publication Date: Jun 29, 2015
- | Number of Pages: 359 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3319206141
- | ISBN-13: 9783319206141
