Intelligent Computer Mathematics | 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
Christoph Benzmüller (u. a.)
ISBN 10: 3030535177 ISBN 13: 9783030535179
Published by Springer, 2020
New
Taschenbuch
From
preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since 5 August 2024
This specific item is no longer available.
About this Item
Description:
Intelligent Computer Mathematics | 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings | Christoph Benzmüller (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2020 | Springer | EAN 9783030535179 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 118531111
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Intelligent Computer Mathematics | 13th ...
Publisher: Springer
Publication Date: 2020
Binding: Taschenbuch
Condition: Neu