Intelligent computer mathmatics : 15th international conference, CICM 2022 / Kevin Buzzard, Temur Kutsia (eds.).
2022
QA76.9.M35 C53 2022eb
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Intelligent computer mathmatics : 15th international conference, CICM 2022 / Kevin Buzzard, Temur Kutsia (eds.).
Meeting Name
CICM (Conference) (15th : 2022 : Tbilisi, Georgia)
ISBN
9783031166815 (electronic bk.)
3031166817 (electronic bk.)
3031166809
9783031166808
3031166817 (electronic bk.)
3031166809
9783031166808
Publication Details
Cham, Switzerland : Springer, 2022.
Language
English
Description
1 online resource
Item Number
10.1007/978-3-031-16681-5 doi
Call Number
QA76.9.M35 C53 2022eb
Dewey Decimal Classification
004.01/51
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.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 23, 2022).
Added Author
Buzzard, Kevin, editor.
Kutsia, Temur, editor.
Kutsia, Temur, editor.
Series
Lecture notes in computer science. Lecture notes in artificial intelligence.
Lecture notes in computer science ; 13467.
LNCS sublibrary. SL 7, Artificial intelligence.
Lecture notes in computer science ; 13467.
LNCS sublibrary. SL 7, Artificial intelligence.
Available in Other Form
Print version: 9783031166808
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of 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.
Formalizations
Digital Libraries and Mathematical Knowledge Management
Theorem Proving and Expression Transformation
Satisfiability, QBF, and SMT Solving
Computer-Aided Teaching
Datasets and system entries.