default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCICM 2019: Prague, Czech Republic
- Cezary Kaliszyk, Edwin C. Brady, Andrea Kohlhase, Claudio Sacerdoti Coen:
Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings. Lecture Notes in Computer Science 11617, Springer 2019, ISBN 978-3-030-23249-8 - Makarius Wenzel:
Interaction with Formal Mathematical Documents in Isabelle/PIDE. 1-15 - Jonas Bayer
, Marco David, Abhik Pal, Benedikt Stock:
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle. 16-27 - Katja Bercic, Michael Kohlhase, Florian Rabe:
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. 28-43 - Chad E. Brown, Karol Pak:
A Tale of Two Set Theories. 44-60 - Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel:
Relational Data Across Mathematical Libraries. 61-76 - Besik Dundua, Temur Kutsia, Mircea Marin:
Variadic Equational Matching. 77-92 - Matthew England, Dorian Florescu:
Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. 93-108 - Jacques Carette, William M. Farmer:
Towards Specifying Symbolic Computation. 109-124 - Moa Johansson:
Lemma Discovery for Induction - A Survey. 125-139 - Zoltán Kovács, Pavel Pech:
Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations. 140-154 - Alexander Maletzky:
Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL. 155-170 - Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen:
The Coq Library as a Theory Graph. 171-186 - Dee Quinlan, Joe B. Wells, Fairouz Kamareddine:
BNF-Style Notation as It Is Actually Used. 187-204 - Florian Rabe:
MMTTeX: Connecting Content and Narration-Oriented Document Formats. 205-210 - Florian Rabe, Yasmine Sharoda:
Diagram Combinators in MMT. 211-226 - Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng:
Inspection and Selection of Representations. 227-242 - Claudio Sacerdoti Coen:
A Plugin to Export Coq Libraries to XML. 243-257 - Moritz Schubotz, Olaf Teschke, Vincent Stange, Norman Meuschke, Bela Gipp:
Forms of Plagiarism in Digital Mathematical Libraries. 258-274 - Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing:
Integrating Semantic Mathematical Documents and Dynamic Notebooks. 275-290 - Abdou Youssef, Bruce R. Miller:
Explorations into the Use of Word Embedding in Math Search and Math Semantics. 291-305
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-12 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
