Intelligent Computer Mathematics  16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings /  [electronic resource] : 
edited by Catherine Dubois, Manfred Kerber. 
 - 1st ed. 2023. 
 - XVII, 324 p. 83 illus., 49 illus. in color.  online resource. 
 - Lecture Notes in Artificial Intelligence,  14101  2945-9141 ; .
 - Lecture Notes in Artificial Intelligence,  14101 .
<br/><br/>Invited Talks -- Regular Papers -- Project and Survey papers -- System and Dataset Descriptions -- System Entry. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783031427534 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-42753-4  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Artificial intelligence.<br/>Machine theory.<br/>Social sciences--Data processing.<br/>Education--Data processing.<br/>Algorithms.<br/>Application software.<br/>Artificial Intelligence.<br/>Formal Languages and Automata Theory.<br/>Computer Application in Social and Behavioral Sciences.<br/>Computers and Education.<br/>Design and Analysis of Algorithms.<br/>Computer and Information Systems Applications.
<br/><br/><label>LC Class. No.: </label>Q334-342 TA347.A78 
<br/><br/><label>Dewey Class. No.: </label>006.3