Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings

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.

List of contents

Invited Talks.- Full Papers.- System Descriptions and Datasets.- Abstracts of Invited Talks.

Product details

• Assisted by: Christop Benzmüller (Editor), Christoph Benzmüller (Editor), Miller (Editor), Miller (Editor), Bruce Miller (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.10.2020
• EAN: 9783030535179
• ISBN: 978-3-0-3053517-9
• No. of pages: 337
• Dimensions: 155 mm x 18 mm x 235 mm
• Weight: 534 g
• Illustrations: XI, 337 p. 445 illus., 54 illus. in color.
• Series: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT