Ebook: Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
- Tags: Math Applications in Computer Science, Artificial Intelligence (incl. Robotics), Symbolic and Algebraic Manipulation, Mathematical Logic and Formal Languages, Document Preparation and Text Processing, Information Storage and Retrieval
- Series: Lecture Notes in Computer Science 9150
- Year: 2015
- Publisher: Springer International Publishing
- Edition: 1
- Language: English
- pdf
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.
Download the book Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)