Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic,
74.97 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10392175
Beschreibung
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.
Eigenschaften
Breite: | 153 |
Gewicht: | 488 g |
Höhe: | 258 |
Länge: | 19 |
Seiten: | 307 |
Sprachen: | Englisch |
Autor: | Andrea Kohlhase, Cezary Kaliszyk, Claudio Sacerdoti Coen, Edwin Brady |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen