LEADER 02473nam 22005535 450 001 9910595044003321 005 20251225203648.0 010 $a9783031166815 010 $a3031166817 024 7 $a10.1007/978-3-031-16681-5 035 $a(MiAaPQ)EBC7088017 035 $a(Au-PeEL)EBL7088017 035 $a(CKB)24837149900041 035 $a(PPN)264953096 035 $a(BIP)85728699 035 $a(BIP)85342743 035 $a(DE-He213)978-3-031-16681-5 035 $a(EXLCZ)9924837149900041 100 $a20220916d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntelligent Computer Mathematics $e15th International Conference, CICM 2022, Tbilisi, Georgia, September 19?23, 2022, Proceedings /$fedited by Kevin Buzzard, Temur Kutsia 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (355 pages) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v13467 311 08$a9783031166808 311 08$a3031166809 327 $aInvited 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. 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v13467 606 $aComputational intelligence 606 $aComputational Intelligence 615 0$aComputational intelligence. 615 14$aComputational Intelligence. 676 $a006.3 676 $a006.30151 702 $aBuzzard$b Kevin 702 $aKutsia$b Temur 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910595044003321 996 $aIntelligent Computer Mathematics$93552027 997 $aUNINA