Vor Ort
Merkzettel Warenkorb
Produktbild: Intelligent Computer Mathematics
Band 11617

Intelligent Computer Mathematics 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

53,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.07.2019

Abbildungen

XII, 307 p. 540 illus., 70 illus. in color.

Herausgeber

Cezary Kaliszyk + weitere

Verlag

Springer

Seitenzahl

307

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

487 g

Auflage

19001 Auflage 1st edition 2019

Sprache

Englisch

ISBN

978-3-030-23249-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.07.2019

Abbildungen

XII, 307 p. 540 illus., 70 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

307

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

487 g

Auflage

19001 Auflage 1st edition 2019

Sprache

Englisch

ISBN

978-3-030-23249-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Intelligent Computer Mathematics
  • Interaction with Formal Mathematical Documents in Isabelle/PIDE.- Beginners’ quest to formalize mathematics: A feasibility study in Isabelle 16.- Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation.- A Tale of Two Set Theories.- Relational Data Across Mathematical Libraries.- Variadic Equational Matching.- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition.- Towards Specifying Symbolic Computation.- Lemma Discovery for Induction - A survey.- Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations.- Formalization of Dubé’s Degree Bounds for Gröbner Bases in Isabelle/HOL 155.- Le Coq Library as a Theory Graph.- BNF-Style Notation as it is Actually Used.- MMTTeX: Connecting Content and Narration-Oriented Document Formats.- Diagram Combinators in MMT.- Inspection and selection of representations.- A plugin to export Coq libraries to XML.-Forms of Plagiarism in Digital Mathematical Libraries.- Integrating Semantic Mathematical Documents and Dynamic Notebooks.- Explorations into the Use of Word Embedding in Math Search and Math Semantics.