| 2014 | A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics. Michael Kohlhase |
| 2014 | A Framework for Formal Reasoning about Geometrical Optics. Umair Siddique, Sofiène Tahar |
| 2014 | A Mathematical Structure for Modeling Inventions. Bernd Wegner, Sigram Schindler |
| 2014 | A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata. David M. Cerna |
| 2014 | A Vernacular for Coherent Logic. Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic |
| 2014 | An Approach to Math-Similarity Search. Qun Zhang, Abdou Youssef |
| 2014 | Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. Zongyan Huang, Matthew England, David J. Wilson, James H. Davenport, Lawrence C. Paulson, James P. Bridge |
| 2014 | Automated Improving of Proof Legibility in the Mizar System. Karol Pak |
| 2014 | Computable Data, Mathematics, and Digital Libraries in Mathematica and Wolfram|Alpha. Eric W. Weisstein |
| 2014 | Detecting Unknots via Equational Reasoning, I: Exploration. Andrew Fish, Alexei Lisitsa |
| 2014 | Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description. Cezary Kaliszyk, Josef Urban, Jirí Vyskocil, Herman Geuvers |
| 2014 | Digital Repository of Mathematical Formulae. Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams |
| 2014 | E-books and Graphics with. Deyan Ginev, Bruce R. Miller, Silviu Oprea |
| 2014 | Flexary Operators for Formalized Mathematics. Feryal Fulya Horozal, Florian Rabe, Michael Kohlhase |
| 2014 | Formalization of Complex Vectors in Higher-Order Logic. Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar |
| 2014 | Hipster: Integrating Theory Exploration in a Proof Assistant. Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen |
| 2014 | Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban |
| 2014 | Interactive Simplifier Tracing and Debugging in Isabelle. Lars Hupel |
| 2014 | Matching Concepts across HOL Libraries. Thibault Gauthier, Cezary Kaliszyk |
| 2014 | Math Indexer and Searcher Web Interface - Towards Fulfillment of Mathematicians' Information Needs. Martin Líska, Petr Sojka, Michal Ruzicka |
| 2014 | Mathoid: Robust, Scalable, Fast and Accessible Math Rendering for Wikipedia. Moritz Schubotz, Gabriel Wicke |
| 2014 | Mining State-Based Models from Proof Corpora. Thomas Gransden, Neil Walkinshaw, Rajeev Raman |
| 2014 | NNexus Reloaded. Deyan Ginev, Joseph Corneli |
| 2014 | PDF/A-3u as an Archival Format for Accessible Mathematics. Ross Moore |
| 2014 | POS Tagging and Its Applications for Mathematics - Text Analysis in Mathematics. Ulf Schöneberg, Wolfram Sperber |
| 2014 | Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson |
| 2014 | Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. Yannis Haralambous, Pedro Quaresma |
| 2014 | Realms: A Structure for Consolidating Knowledge about Mathematical Theories. Jacques Carette, William M. Farmer, Michael Kohlhase |
| 2014 | SAT-Enhanced Mizar Proof Checking. Adam Naumowicz |
| 2014 | Search Interfaces for Mathematicians. Andrea Kohlhase |
| 2014 | Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat |
| 2014 | System Description: A Semantics-Aware LaTeX-to-Office Converter. Lukas Kohlhase, Michael Kohlhase |
| 2014 | System Description: MathHub.info. Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing |
| 2014 | Towards Knowledge Management for HOL Light. Cezary Kaliszyk, Florian Rabe |
| 2014 | Towards Robust Hyperlinks for Web-Based Scholarly Communication. Herbert Van de Sompel, Martin Klein, Harihar Shankar |
| 2014 | Towards an Interaction-based Integration of MKM Services into End-User Applications. Constantin Jucovschi |
| 2014 | Towards the Formal Reliability Analysis of Oil and Gas Pipelines. Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi |
| 2014 | What International Studies Say about the Importance and Limitations of Using Computers to Teach Mathematics in Secondary Schools. Jaime Carvalho e Silva |
| 2014 | Which One Is Better: Presentation-Based or Content-Based Math Search? Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topic, Akiko Aizawa |