Intelligent Computer Mathematics

Discover the cutting-edge insights in "Intelligent Computer Mathematics," authored by Michael Kohlhase and published by Springer International Publishing AG in 2016. This engaging volume compiles the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics (CICM 2016), held in Bialystok, Poland. With 163 pages of in-depth research, this first edition features 10 full papers and 2 short papers that have been meticulously reviewed and selected from an impressive pool of 41 submissions. Ideal for researchers and enthusiasts in the field, this book offers a comprehensive overview of the latest advancements in intelligent computer mathematics. Enhance your knowledge and stay at the forefront of this rapidly evolving discipline with this essential read.