• Intelligent Computer Mathemati...

*Result*: Intelligent Computer Mathematics

Title:
Intelligent Computer Mathematics
Authors:
Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
Resource Type:
eBook.
Subjects:
Computer science—Mathematics, Artificial intelligence, Machine theory, Natural language processing (Computer science), Information storage and retrieval systems
Categories:
MATHEMATICS / Applied, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Speech & Audio Processing, MATHEMATICS / Algebra / General
Database:
eBook Index

*Further Information*

*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.*