Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings / edited by Kevin Buzzard, Temur Kutsia

Contributor(s):

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Artificial Intelligence ; 13467Publisher: Cham : Springer International Publishing, 2022Publisher: Cham : Imprint: Springer, 2022Edition: 1st ed. 2022Description: 1 Online-Ressource(XV, 349 p. 231 illus., 137 illus. in color.)ISBN:

9783031166815

Subject(s):

Computational intelligence

Additional physical formats: 9783031166808 | 9783031166822 | Erscheint auch als: 9783031166808 Druck-Ausgabe | Erscheint auch als: 9783031166822 Druck-AusgabeDOI: DOI: 10.1007/978-3-031-16681-5Online resources:

Summary: 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.Summary: 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.PPN: PPN: 181699037XPackage identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-LNC

Holdings ( 0 )

No physical items for this record