This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montreal, Quebec, Canada, during August 5-9, 2024. The 21 full papers presented were carefully reviewed and selected from 28 submissions. These papers have been categorized into the following  AI and LLM; Proof Assistants; Logical Frameworks and Transformations; Knowledge Representation and Certification; Proof Search and Formalization and u0026 System Descriptions.

Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montreal, QC, Canada, August 5-9, 2024, Proceedings (Lecture Notes in Computer Science Book 14960)

Intelligent Computer Mathematics: 17th International Conference, CICM 2024, Montreal, QC, Canada, August 5-9, 2024, Proceedings (Lecture Notes in Computer Science Book 14960) PDF

The list of books you might like