Intelligent Computer Mathematics [electronic resource] : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings / edited by Kevin Buzzard, Temur Kutsia.

Contributor(s):

Material type: Text

TextSeries: Lecture Notes in Artificial Intelligence ; 13467Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Edition: 1st ed. 2022Description: XV, 349 p. 231 illus., 137 illus. in color. online resourceISBN:

9783031166815

Subject(s):

DDC classification:

006.3 23

Online resources:

Click Here

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.

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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Materials specified	Status	Date due	Barcode	Item holds
E-Books	National Library of India Online Resource	006.3 (Browse shelf(Opens below))		Available		EBK000035262ENG

Total holds: 0

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.

There are no comments on this title.

to post a comment.