For some weeks now, the dblp team has been receiving an exceptionally high number of support and error correction requests from the community. While we are grateful and happy to process all incoming emails, please assume that it will currently take us several weeks to read and address your request. Most importantly, please refrain from sending your request multiple times. This will not advance your issue and will only complicate and extend the time required to address it. Thank you for your understanding.

Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

default search action

combined dblp search
author search
venue search
publication search

ask others

CICM 2018: Hagenberg, Austria

> Home > Conferences and Workshops > CICM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/mkm/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/2018
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
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BancerekNU18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BancerekNU18
Grzegorz Bancerek, Adam Naumowicz, Josef Urban:
System Description: XSL-Based Translator of Mizar to LaTeX. 1-6
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BetzendahlK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BetzendahlK18
Jonas Betzendahl, Michael Kohlhase:
Translating the IMPS Theory Library to MMT/OMDoc. 7-22
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/BruckerACW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BruckerACW18
Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff:
Using the Isabelle Ontology Framework - Linking the Formal with the Informal. 23-38
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CohlGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CohlGS18
Howard S. Cohl, André Greiner-Petter, Moritz Schubotz:
Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems. 39-52
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CzajkaEK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CzajkaEK18
Lukasz Czajka, Burak Ekici, Cezary Kaliszyk:
Concrete Semantics with Coq and CoqHammer. 53-59
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Dana-PicardK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Dana-PicardK18
Thierry N. Dana-Picard, Zoltán Kovács:
Automated Determination of Isoptics with Dynamic Geometry. 60-75
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/CaretteFS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/CaretteFS18
Jacques Carette, William M. Farmer, Yasmine Sharoda:
Biform Theories: Project Description. 76-86
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Gallois-WongBH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Gallois-WongBH18
Diane Gallois-Wong, Sylvie Boldo, Thibault Hilaire:
A Coq Formalization of Digital Filters. 87-103
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Greiner-PetterS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Greiner-PetterS18
André Greiner-Petter, Moritz Schubotz, Howard S. Cohl, Bela Gipp:
MathTools: An Open API for Convenient MathML Handling. 104-110
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/HumenbergerJK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/HumenbergerJK18
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács:
Aligator.jl - A Julia Package for Loop Invariant Generation. 111-117
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/JakubuvU18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/JakubuvU18
Jan Jakubuv, Josef Urban:
Enhancing ENIGMA Given Clause Guidance. 118-124
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/JunkHS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/JunkHS18
Michael Junk, Stefan Hölle, Sebastian Sahli:
Formalized Mathematical Content in Lecture Notes on Modelling and Analysis. 125-130
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KaliszykP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KaliszykP18
Cezary Kaliszyk, Karol Pak:
Isabelle Import Infrastructure for the Mizar Mathematical Library. 131-146
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/KohlhaseKO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/KohlhaseKO18
Andrea Kohlhase, Michael Kohlhase, Taweechai Ouypornkochagorn:
Discourse Phenomena in Mathematical Documents. 147-163
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Kovacs18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Kovacs18
Zoltán Kovács:
Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools. 164-177
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/MaletzkyI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/MaletzkyI18
Alexander Maletzky, Fabian Immler:
Gröbner Bases of Modules and Faugère's F₄ Algorithm in Isabelle/HOL. 178-193
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Minimair18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Minimair18
Manfred Minimair:
MathChat: Computational Mathematics via a Social Machine. 194-208
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/MullerKR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/MullerKR18
Dennis Müller, Michael Kohlhase, Florian Rabe:
Automatically Finding Theory Morphisms for Knowledge Management. 209-224
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/NagashimaP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/NagashimaP18
Yutaka Nagashima, Julian Parsert:
Goal-Oriented Conjecturing for Isabelle/HOL. 225-231
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/PollingerKK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/PollingerKK18
Theresa Pollinger, Michael Kohlhase, Harald Köstler:
Knowledge Amalgamation for Computational Science and Engineering. 232-247
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/Schreiner18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/Schreiner18
Wolfgang Schreiner:
Validating Mathematical Theorems and Algorithms with RISCAL. 248-254
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/WangKU18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/WangKU18
Qingxiang Wang, Cezary Kaliszyk, Josef Urban:
First Experiments with Neural Translation of Informal to Formal Mathematics. 255-270
- view
  authority control:
- export record
  dblp key:
  - conf/mkm/YoussefM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/YoussefM18
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.