Intelligent Computer Mathematics

Discover the cutting-edge insights in "Intelligent Computer Mathematics," authored by Herman Geuvers and published by Springer International Publishing AG in 2017. This comprehensive volume, comprising 375 pages, presents the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics (CICM 2017), held in Edinburgh, Scotland. The book is meticulously organized into three tracks, with a particular focus on the Calculemus track, which delves into the integration of symbolic computation and mechanized reasoning. Perfect for researchers and enthusiasts alike, this first edition offers a wealth of knowledge that bridges the gap between mathematics and computer science. Enhance your understanding of intelligent computer mathematics and explore the latest advancements in this dynamic field.