Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings / / edited by Kevin Buzzard, Temur Kutsia Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Edizione: 1st ed. 2022.
Descrizione fisica: 1 online resource (355 pages)
Disciplina: 006.3
006.30151
Soggetto topico: Computational intelligence
Computational Intelligence
Persona (resp. second.): BuzzardKevin
KutsiaTemur
Nota di contenuto: 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.
Sommario/riassunto: 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.
Titolo autorizzato: Intelligent Computer Mathematics  Visualizza cluster
ISBN: 9783031166815
3031166817
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910595044003321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Artificial Intelligence, . 2945-9141 ; ; 13467
Intelligent Computer Mathematics [[electronic resource] ] : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
Intelligent Computer Mathematics [[electronic resource] ] : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. / / edited by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
Mathematical aspects of artificial intelligence : American Mathematical Society short course, January 8-9, 1996, Orlando, Florida / Frederick Hoffman, editor
Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / / edited by Christoph Benzmüller, Bruce Miller
Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef