| Description |
1 online resource (xviii, 375 pages) : illustrations |
| Series |
Lecture notes in artificial intelligence, 0302-9743 ; 10383 |
|
LNCS sublibrary. SL 7, Artificial intelligence |
|
Lecture notes in computer science. Lecture notes in artificial intelligence ; 10383
|
|
LNCS sublibrary. SL 7, Artificial intelligence.
|
| 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 |
| Summary |
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 |
| Notes |
International conference proceedings |
|
Includes author index |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed July 7, 2017) |
| Subject |
Computer science -- Mathematics -- Congresses
|
|
Artificial intelligence -- Mathematics -- Congresses
|
|
Mathematical theory of computation.
|
|
Computer programming -- software development.
|
|
Software Engineering.
|
|
Programming & scripting languages: general.
|
|
Computer modelling & simulation.
|
|
Artificial intelligence.
|
|
Mathematics -- Logic.
|
|
Computers -- Programming -- General.
|
|
Computers -- Software Development & Engineering -- General.
|
|
Computers -- Programming Languages -- General.
|
|
Computers -- Computer Simulation.
|
|
Computers -- Intelligence (AI) & Semantics.
|
|
Artificial intelligence -- Mathematics
|
|
Computer science -- Mathematics
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Geuvers, Herman, 1964- editor.
|
|
England, Matthew, editor
|
|
Hasan, Osman, 1975- editor.
|
|
Rabe, Florian, editor
|
|
Teschke, Olaf, editor.
|
| ISBN |
9783319620756 |
|
3319620754 |
|
3319620746 |
|
9783319620749 |
|
