| 2018 | A Coq Formalization of Digital Filters. Diane Gallois-Wong, Sylvie Boldo, Thibault Hilaire |
| 2018 | Aligator.jl - A Julia Package for Loop Invariant Generation. Andreas Humenberger, Maximilian Jaroschek, Laura Kovács |
| 2018 | Automated Determination of Isoptics with Dynamic Geometry. Thierry N. Dana-Picard, Zoltán Kovács |
| 2018 | Automated Symbolic and Numerical Testing of DLMF Formulae Using Computer Algebra Systems. Howard S. Cohl, André Greiner-Petter, Moritz Schubotz |
| 2018 | Automatically Finding Theory Morphisms for Knowledge Management. Dennis Müller, Michael Kohlhase, Florian Rabe |
| 2018 | Biform Theories: Project Description. Jacques Carette, William M. Farmer, Yasmine Sharoda |
| 2018 | Concrete Semantics with Coq and CoqHammer. Lukasz Czajka, Burak Ekici, Cezary Kaliszyk |
| 2018 | Deep Learning for Math Knowledge Processing. Abdou Youssef, Bruce R. Miller |
| 2018 | Discourse Phenomena in Mathematical Documents. Andrea Kohlhase, Michael Kohlhase, Taweechai Ouypornkochagorn |
| 2018 | Enhancing ENIGMA Given Clause Guidance. Jan Jakubuv, Josef Urban |
| 2018 | Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools. Zoltán Kovács |
| 2018 | First Experiments with Neural Translation of Informal to Formal Mathematics. Qingxiang Wang, Cezary Kaliszyk, Josef Urban |
| 2018 | Formalized Mathematical Content in Lecture Notes on Modelling and Analysis. Michael Junk, Stefan Hölle, Sebastian Sahli |
| 2018 | Goal-Oriented Conjecturing for Isabelle/HOL. Yutaka Nagashima, Julian Parsert |
| 2018 | Gröbner Bases of Modules and Faugère's F Alexander Maletzky, Fabian Immler |
| 2018 | Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef |
| 2018 | Isabelle Import Infrastructure for the Mizar Mathematical Library. Cezary Kaliszyk, Karol Pak |
| 2018 | Knowledge Amalgamation for Computational Science and Engineering. Theresa Pollinger, Michael Kohlhase, Harald Köstler |
| 2018 | MathChat: Computational Mathematics via a Social Machine. Manfred Minimair |
| 2018 | MathTools: An Open API for Convenient MathML Handling. André Greiner-Petter, Moritz Schubotz, Howard S. Cohl, Bela Gipp |
| 2018 | System Description: XSL-Based Translator of Mizar to LaTeX. Grzegorz Bancerek, Adam Naumowicz, Josef Urban |
| 2018 | Translating the IMPS Theory Library to MMT/OMDoc. Jonas Betzendahl, Michael Kohlhase |
| 2018 | Using the Isabelle Ontology Framework - Linking the Formal with the Informal. Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff |
| 2018 | Validating Mathematical Theorems and Algorithms with RISCAL. Wolfgang Schreiner |