![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
CICM 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.