Screen LibraryIntelligent computer mathematics : 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 Proceedings /
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 f...
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | ; |
| Published: |
Springer,
|
| Publisher Address: | Cham : |
| Publication Dates: | [2023] |
| Literature type: | Book |
| Language: | English |
| Series: |
Lecture notes in artificial intelligence
Lecture notes in computer science, 14101 LNCS sublibrary, SL 7, Artificial intelligence |
| Subjects: | |
| Summary: |
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. |
| Carrier Form: | xvii, 326 pages : illustrations ; 24 cm. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: |
9783031427527 3031427521 |
| Index Number: | QA76 |
| CLC: | TP18-532 |
| Call Number: | TP18-532/C748-2/2023 |
| Contents: | Invited Talks -- Regular Papers -- Project and Survey papers -- System and Dataset Descriptions -- System Entry. |