Kevin Buzzard,
Temur Kutsia
Springer International Publishing
e druk, 2022
9783031166808
Intelligent Computer Mathematics
15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings
Specificaties
Paperback, blz.
|
Engels
Springer International Publishing |
e druk, 2022
ISBN13: 9783031166808
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783031166808
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Inhoudsopgave
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.