02473nam 22005535 450 991059504400332120251225203648.09783031166815303116681710.1007/978-3-031-16681-5(MiAaPQ)EBC7088017(Au-PeEL)EBL7088017(CKB)24837149900041(PPN)264953096(BIP)85728699(BIP)85342743(DE-He213)978-3-031-16681-5(EXLCZ)992483714990004120220916d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierIntelligent Computer Mathematics 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings /edited by Kevin Buzzard, Temur Kutsia1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (355 pages)Lecture Notes in Artificial Intelligence,2945-9141 ;134679783031166808 3031166809 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.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.Lecture Notes in Artificial Intelligence,2945-9141 ;13467Computational intelligenceComputational IntelligenceComputational intelligence.Computational Intelligence.006.3006.30151Buzzard KevinKutsia TemurMiAaPQMiAaPQMiAaPQBOOK9910595044003321Intelligent Computer Mathematics3552027UNINA