Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings (Lecture Notes in Artificial Intelligence, Band 12236) - Softcover

Softcover

ISBN 10: 3030535177 ISBN 13: 9783030535179

Verlag: Springer, 2020

Inhaltsangabe

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.

Über diesen Titel

Von der hinteren Coverseite

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2020
• Sprache: Englisch
• ISBN 10: 3030535177
• ISBN 13: 9783030535179
• Einband: Taschenbuch
• Auflage: 1
• Anzahl der Seiten: 348
• Herausgeber: Benzmüller Christoph, Miller Bruce
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland