Benzmüller / Miller | Intelligent Computer Mathematics | E-Book | sack.de
E-Book

E-Book, Englisch, 337 Seiten

Reihe: Computer Science

Benzmüller / Miller Intelligent Computer Mathematics

13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings
1. Auflage 2020
ISBN: 978-3-030-53518-6
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings

E-Book, Englisch, 337 Seiten

Reihe: Computer Science

ISBN: 978-3-030-53518-6
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.

Benzmüller / Miller Intelligent Computer Mathematics jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Benzmüller, Christoph
Miller, Bruce

Weitere Infos & Material

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

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.