1 option
Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings / edited by Kevin Buzzard, Temur Kutsia.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- Lecture notes in computer science. Lecture notes in artificial intelligence 2945-9141 ; 13467
- Lecture Notes in Artificial Intelligence, 2945-9141 ; 13467
- Language:
- English
- Subjects (All):
- Computational intelligence.
- Computational Intelligence.
- Local Subjects:
- Computational Intelligence.
- Physical Description:
- 1 online resource (XV, 349 pages) : 231 illustrations, 137 illustrations in color.
- Edition:
- 1st ed. 2022.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2022.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-031-16681-5
- 9783031166815
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.