Descript 
1 online resource (xviii, 375 pages) : illustrations, digital ; 24 cm 

text txt rdacontent 

computer c rdamedia 

online resource cr rdacarrier 

text file PDF rda 
Series 
Lecture notes in computer science, 03029743 ; 10383


Lecture notes in computer science ; 10383

Note 
Calculemus track: integration of symbolic computation and mechanized reasoning  Digital Mathematics Libraries track: mathaware technologies, standards, algorithms, and processes  Mathematical Knowledge Management track: aspects of managing mathematical knowledge, in informal, semiformal, and formal settings  Systems and Projects track: descriptions of systems and relevant projects as keys research topics 

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 mathaware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semiformal, 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 
Host Item 
Springer eBooks

Subject 
Computer science  Mathematics  Congresses


Artificial intelligence  Mathematics  Congresses


Computer Science


Artificial Intelligence (incl. Robotics)


Mathematical Logic and Formal Languages


Logics and Meanings of Programs


Software Engineering


Programming Languages, Compilers, Interpreters


Simulation and Modeling

Alt Author 
Geuvers, Herman, editor


England, Matthew, editor


Hasan, Osman, editor


Rabe, Florian, editor


Teschke, Olaf, editor


SpringerLink (Online service)

Alt Title 
CICM 2017 
