| 2019 | A Plugin to Export Coq Libraries to XML. Claudio Sacerdoti Coen |
| 2019 | A Tale of Two Set Theories. Chad E. Brown, Karol Pak |
| 2019 | BNF-Style Notation as It Is Actually Used. Dee Quinlan, Joe B. Wells, Fairouz Kamareddine |
| 2019 | Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle. Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock |
| 2019 | Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. Matthew England, Dorian Florescu |
| 2019 | Diagram Combinators in MMT. Florian Rabe, Yasmine Sharoda |
| 2019 | Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations. Zoltán Kovács, Pavel Pech |
| 2019 | Explorations into the Use of Word Embedding in Math Search and Math Semantics. Abdou Youssef, Bruce R. Miller |
| 2019 | Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL. Alexander Maletzky |
| 2019 | Forms of Plagiarism in Digital Mathematical Libraries. Moritz Schubotz, Olaf Teschke, Vincent Stange, Norman Meuschke, Bela Gipp |
| 2019 | Inspection and Selection of Representations. Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng |
| 2019 | Integrating Semantic Mathematical Documents and Dynamic Notebooks. Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing |
| 2019 | Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings Cezary Kaliszyk, Edwin C. Brady, Andrea Kohlhase, Claudio Sacerdoti Coen |
| 2019 | Interaction with Formal Mathematical Documents in Isabelle/PIDE. Makarius Wenzel |
| 2019 | Lemma Discovery for Induction - A Survey. Moa Johansson |
| 2019 | MMTTeX: Connecting Content and Narration-Oriented Document Formats. Florian Rabe |
| 2019 | Relational Data Across Mathematical Libraries. Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel |
| 2019 | The Coq Library as a Theory Graph. Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen |
| 2019 | Towards Specifying Symbolic Computation. Jacques Carette, William M. Farmer |
| 2019 | Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. Katja Bercic, Michael Kohlhase, Florian Rabe |
| 2019 | Variadic Equational Matching. Besik Dundua, Temur Kutsia, Mircea Marin |