Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Published on 17. July 2020
XI, 337 pages
978-3-030-53518-6 (ISBN)
Description
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.
The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics.
* The conference was held virtually due to the COVID-19 pandemic.
More details
Series
Edition
1st ed. 2020
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Product notice
Reflowable
Illustrations
XI, 337 p. 445 illus., 54 illus. in color.
ISBN-13
978-3-030-53518-6 (9783030535186)
DOI
10.1007/978-3-030-53518-6
Schweitzer Classification
Other editions
Additional editions
Christoph Benzmüller | Bruce Miller
Intelligent Computer Mathematics
13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Book
07/2020
Springer
€53.49
Shipment within 7-9 days
Content
Invited Talks.- Full Papers.- System Descriptions and Datasets.- Abstracts of Invited Talks.
