Buzzard / Kutsia Intelligent Computer Mathematics
1. Auflage 2022
ISBN: 978-3-031-16681-5
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings
E-Book, Englisch, 349 Seiten
Reihe: Springer Nature Proceedings Computer Science
ISBN: 978-3-031-16681-5
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
