Intelligent Computer Mathematics  15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings /  [electronic resource] : 
edited by Kevin Buzzard, Temur Kutsia. 
 - 1st ed. 2022. 
 - XV, 349 p. 231 illus., 137 illus. in color.  online resource. 
 - Lecture Notes in Artificial Intelligence,  13467  2945-9141 ; .
 - Lecture Notes in Artificial Intelligence,  13467 .
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783031166815 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-16681-5  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computational intelligence.<br/>Computational Intelligence.
<br/><br/><label>LC Class. No.: </label>Q342 
<br/><br/><label>Dewey Class. No.: </label>006.3