Intelligent Computer Mathematics

Beschreibung

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.

Autor*in

Kevin Buzzard

Themen in »Intelligent Computer Mathematics«

computer mathematics formalized mathematics mathematical libraries algorithmic mathematics knowledge management

Stimmen zu »Intelligent Computer Mathematics«

Details

Link teilen