default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCICM 2018: Hagenberg, Austria
- Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef:
Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings. Lecture Notes in Computer Science 11006, Springer 2018, ISBN 978-3-319-96811-7 - Grzegorz Bancerek, Adam Naumowicz
, Josef Urban:
System Description: XSL-Based Translator of Mizar to LaTeX. 1-6 - Jonas Betzendahl, Michael Kohlhase:
Translating the IMPS Theory Library to MMT/OMDoc. 7-22 - Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff:
Using the Isabelle Ontology Framework - Linking the Formal with the Informal. 23-38 - Howard S. Cohl, André Greiner-Petter, Moritz Schubotz:
Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems. 39-52 - Lukasz Czajka, Burak Ekici, Cezary Kaliszyk:
Concrete Semantics with Coq and CoqHammer. 53-59 - Thierry N. Dana-Picard, Zoltán Kovács:
Automated Determination of Isoptics with Dynamic Geometry. 60-75 - Jacques Carette, William M. Farmer, Yasmine Sharoda:
Biform Theories: Project Description. 76-86 - Diane Gallois-Wong, Sylvie Boldo, Thibault Hilaire:
A Coq Formalization of Digital Filters. 87-103 - André Greiner-Petter, Moritz Schubotz, Howard S. Cohl, Bela Gipp:
MathTools: An Open API for Convenient MathML Handling. 104-110 - Andreas Humenberger, Maximilian Jaroschek, Laura Kovács:
Aligator.jl - A Julia Package for Loop Invariant Generation. 111-117 - Jan Jakubuv, Josef Urban:
Enhancing ENIGMA Given Clause Guidance. 118-124 - Michael Junk, Stefan Hölle, Sebastian Sahli:
Formalized Mathematical Content in Lecture Notes on Modelling and Analysis. 125-130 - Cezary Kaliszyk, Karol Pak:
Isabelle Import Infrastructure for the Mizar Mathematical Library. 131-146 - Andrea Kohlhase, Michael Kohlhase, Taweechai Ouypornkochagorn:
Discourse Phenomena in Mathematical Documents. 147-163 - Zoltán Kovács:
Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools. 164-177 - Alexander Maletzky, Fabian Immler:
Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL. 178-193 - Manfred Minimair:
MathChat: Computational Mathematics via a Social Machine. 194-208 - Dennis Müller, Michael Kohlhase, Florian Rabe:
Automatically Finding Theory Morphisms for Knowledge Management. 209-224 - Yutaka Nagashima, Julian Parsert:
Goal-Oriented Conjecturing for Isabelle/HOL. 225-231 - Theresa Pollinger, Michael Kohlhase, Harald Köstler:
Knowledge Amalgamation for Computational Science and Engineering. 232-247 - Wolfgang Schreiner:
Validating Mathematical Theorems and Algorithms with RISCAL. 248-254 - Qingxiang Wang, Cezary Kaliszyk, Josef Urban:
First Experiments with Neural Translation of Informal to Formal Mathematics. 255-270 - Abdou Youssef, Bruce R. Miller:
Deep Learning for Math Knowledge Processing. 271-286
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 2025-10-29 01:26 CET 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:
