Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Geuvers, Herman. (Editor), England, Matthew. (Editor), Hasan, Osman. (Editor), Rabe, Florian. (Editor), Teschke, Olaf. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Lecture Notes in Artificial Intelligence ; 10383
Subjects:
Online Access:https://doi.org/10.1007/978-3-319-62075-6
Table of Contents:
  • Calculemus track: integration of symbolic computation and mechanized reasoning
  • Digital Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes
  • Mathematical Knowledge Management track: aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings
  • Systems and Projects track: descriptions of systems and relevant projects as keys research topics.