Intelligent Computer Mathematics | International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Manfred Kerber (u. a.)

ISBN 10: 3319206141 / ISBN 13: 9783319206141

Editore: Springer, 2015

Intelligent Computer Mathematics | International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. | Manfred Kerber (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2015 | Springer | EAN 9783319206141 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 104645032

Riassunto:

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.

Dati bibliografici

Titolo: Intelligent Computer Mathematics | ...
Casa editrice: Springer
Data di pubblicazione: 2015
Legatura: Taschenbuch
Condizione: Neu