This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.

Founded in 1931 by Otto Neugebauer as the printed documentation service "Zentralblatt fur Mathematik und ihre Grenzgebiete," Zentralblatt MATH (ZBMATH) celebrates its 80th anniversary in 2011. Today it is the most comprehensive and active reference database in pure and applied mathematics worldwide. Many prominent mathematicians have been involved in this service as reviewers or editors and have, like all mathematicians, left their footprints in ZBMATH, in a long list of entries describing all of their research publications in mathematics. This book provides one review from each of the 80 years of ZBMATH. Names like Courant, Kolmogorov, Hardy, Hirzebruch, Faltings and many others can be found here. In addition to the original reviews, the book offers the authors' profiles indicating their co-authors, their favorite journals and the time span of their publication activities. In addition to this, a generously illustrated essay by Silke Gobel describes the history of ZBMATH."