Buch, Englisch, 359 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 5796 g
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Buch, Englisch, 359 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 5796 g
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-319-20614-1
Verlag: Springer
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Invited Talks.- Calculemus.- Digital Mathematics Libraries.- Mathematical Knowledge Management.- Projects and Surveys.- Systems and Data.
