Willkommen, schön sind Sie da!
Logo Ex Libris

Intelligent Computer Mathematics

  • E-Book (pdf)
  • 249 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 202... Weiterlesen
CHF 82.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.

The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

* The conference was held virtually due to the COVID-19 pandemic.



Inhalt

Formalizations.- Automatic Theorem Proving and Machine Learning.- Search and Classification.- Teaching and Geometric Reasoning.- Logic and Systems.- Abstracts of Invited Speakers.

Produktinformationen

Titel: Intelligent Computer Mathematics
Untertitel: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings
Editor:
EAN: 9783030810979
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 20.07.2021
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 249

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"