Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings / / edited by Catherine Dubois, Manfred Kerber

• Pubblicazione: Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
• Edizione: 1st ed. 2023.
• Descrizione fisica: 1 online resource (333 pages)
• Disciplina: 006.3
• Soggetto topico: Artificial intelligence; Machine theory; Social sciences - Data processing; Education - Data processing; Algorithms; Application software; Artificial Intelligence; Formal Languages and Automata Theory; Computer Application in Social and Behavioral Sciences; Computers and Education; Design and Analysis of Algorithms; Computer and Information Systems Applications
• Persona (resp. second.): DuboisCatherine; KerberManfred
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Invited Talks -- Regular Papers -- Project and Survey papers -- System and Dataset Descriptions -- System Entry.
• Sommario/riassunto: This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023. The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.
• Titolo autorizzato: Intelligent Computer Mathematics
• ISBN: 3-031-42753-X
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910743698703321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Artificial Intelligence, . 2945-9141 ; ; 14101