Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Başlık:
Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Yazar:
Kerber, Manfred. editor.
ISBN:
9783319206158
Fiziksel Niteleme:
XXI, 359 p. 84 illus. online resource.
Seri:
Lecture Notes in Computer Science, 9150
İçindekiler:
Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management -- Projects and Surveys -- Systems and Data.
Özet:
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.
Konu Başlığı:
Ek Kurum Yazar:
Elektronik Erişim:
http://dx.doi.org/10.1007/978-3-319-20615-8