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

Mitwirkende(r):

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Artificial Intelligence ; 13467Verlag: Cham : Springer International Publishing, 2022Verlag: Cham : Imprint: Springer, 2022Auflage: 1st ed. 2022Beschreibung: 1 Online-Ressource(XV, 349 p. 231 illus., 137 illus. in color.)ISBN:

9783031166815

Schlagwörter:

Computational intelligence

Andere physische Formen: 9783031166808 | 9783031166822 | Erscheint auch als: 9783031166808 Druck-Ausgabe | Erscheint auch als: 9783031166822 Druck-AusgabeDOI: DOI: 10.1007/978-3-031-16681-5Online-Ressourcen:

Zusammenfassung: 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.Zusammenfassung: 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

Exemplare ( 0 )

Dieser Titel hat keine Exemplare