Cover of Manfred Kerber (EDT), Jacques Carette (EDT), Cezary Kaliszyk (EDT), Florian Rabe (EDT), Volker Sorge (EDT): Intelligent Computer Mathematics

Manfred Kerber (EDT), Jacques Carette (EDT), Cezary Kaliszyk (EDT), Florian Rabe (EDT), Volker Sorge (EDT) Intelligent Computer Mathematics

International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Price for Eshop: 1267 Kč (€ 50.7)

VAT 0% included

New

E-book delivered electronically online

E-Book information

Springer International Publishing

2015

PDF
How do I buy e-book?

978-3-319-20615-8

3-319-20615-X

Annotation

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.

Ask question

You can ask us about this book and we'll send an answer to your e-mail.