
Intelligent Computer Mathematics
15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings
Springer (Publisher)
Published on 17. September 2022
Book
Paperback/Softback
XV, 349 pages
978-3-031-16680-8 (ISBN)
Description
This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022.
The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.
More details
Series
Edition
1st ed. 2022
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
137 farbige Abbildungen, 94 s/w Abbildungen
XV, 349 p. 231 illus., 137 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 20 mm
Weight
557 gr
ISBN-13
978-3-031-16680-8 (9783031166808)
DOI
10.1007/978-3-031-16681-5
Schweitzer Classification
Other editions
Additional editions

Kevin Buzzard | Temur Kutsia
Intelligent Computer Mathematics
15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings
E-Book
09/2022
Springer
€53.49
Available for download
Content
Invited Talk.- Formalizations.- Digital Libraries and Mathematical Knowledge Management.- Theorem Proving and Expression Transformation.- Satisfiability, QBF, and SMT Solving.- Computer-Aided Teaching.- Datasets and system entries.