Lecture Notes in Computer Science: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Kerber, Manfred; Carette, Jacques; Kaliszyk, Cezary; Rabe, Florian; Sorge, Volker

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.

Details

Published by: Springer

Publication Date: 2015-06-29

Format: Paperback

ISBN-13: 9783319206141

DOI: 10.1007/978-3-319-20615-8

Dimensions: 235cm x155cm

Pages: 359