| 2017 | A Verified Algorithm Enumerating Event Structures. Juliana Bowles, Marco B. Caminati |
| 2017 | A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics. Nathan C. Carter, Kenneth G. Monks |
| 2017 | Automatically Proving Equivalence by Type-Safe Reflection. Franck Slama, Edwin C. Brady |
| 2017 | Classification of Alignments Between Concepts of Formal Mathematical Systems. Dennis Müller, Thibault Gauthier, Cezary Kaliszyk, Michael Kohlhase, Florian Rabe |
| 2017 | Combining Refinement and Signal-Temporal Logic for Biological Systems. Usman Sanwal, Umair Siddique |
| 2017 | DeepAlgebra - An Outline of a Program. Przemyslaw Chojecki |
| 2017 | ENIGMA: Efficient Learning-Based Inference Guiding Machine. Jan Jakubuv, Josef Urban |
| 2017 | Formalization of Transform Methods Using HOL Light. Adnan Rashid, Osman Hasan |
| 2017 | Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. Jacques Carette, William M. Farmer |
| 2017 | Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke |
| 2017 | Mathematical Models as Research Data via Flexiformal Theory Graphs. Michael Kohlhase, Thomas Koprucki, Dennis Müller, Karsten Tabelow |
| 2017 | Part-of-Math Tagging and Applications. Abdou Youssef |
| 2017 | Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic. Cezary Kaliszyk, Karol Pak |
| 2017 | Proof Mining with Dependent Types. Ekaterina Komendantskaya, Jónathan Heras |
| 2017 | Reasoning with Concept Diagrams About Antipatterns in Ontologies. Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato |
| 2017 | Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems. Howard S. Cohl, Moritz Schubotz, Abdou Youssef, André Greiner-Petter, Jürgen Gerhard, Bonita V. Saunders, Marjorie A. McClain, Joon Bang, Kevin Chen |
| 2017 | Semantic Representation of General Topology in the Wolfram Language. Ian Ford |
| 2017 | Software Citations, Information Systems, and Beyond. Michael Kohlhase, Wolfram Sperber |
| 2017 | The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema. Alexander Maletzky, Wolfgang Windsteiger |
| 2017 | The Global Digital Mathematics Library and the International Mathematical Knowledge Trust. Patrick D. F. Ion, Stephen M. Watt |
| 2017 | The New Numdam Platform. Thierry Bouche, Olivier Labbe |
| 2017 | Theory Morphisms in Church's Type Theory with Quotation and Evaluation. William M. Farmer |
| 2017 | Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues. Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease |
| 2017 | VMEXT: A Visualization Tool for Mathematical Expression Trees. Moritz Schubotz, Norman Meuschke, Thomas Hepp, Howard S. Cohl, Bela Gipp |
| 2017 | Visual Structure in Mathematical Expressions. Andrea Kohlhase, Michael Kohlhase, Michael Fürsich |
| 2017 | Zeta Types and Tannakian Symbols as a Method for Representing Mathematical Knowledge. Andreas Holmstrom, Torstein Vik |