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 Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.07.2019

Herausgeber

Cezary Kaliszyk + weitere

Verlag

Springer

Seitenzahl

307

Maße (L/B/H)

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

Gewicht

487 g

Auflage

1st ed. 2019

Sprache

Englisch

ISBN

978-3-030-23249-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.07.2019

Herausgeber

Verlag

Springer

Seitenzahl

307

Maße (L/B/H)

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

Gewicht

487 g

Auflage

1st ed. 2019

Sprache

Englisch

ISBN

978-3-030-23249-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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.