| 2010 | Against Rigor. | Doron Zeilberger |
| 2010 | Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar. | Josef Urban, Geoff Sutcliffe |
| 2010 | A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. | Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers |
| 2010 | A Unified Formal Description of Arithmetic and Set Theoretical Data Types. | Paul Tarau |
| 2010 | Proviola: A Tool for Proof Re-animation. | Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk |
| 2010 | The Dynamic Dictionary of Mathematical Functions. | Bruno Salvy |
| 2010 | On Building a Knowledge Base for Stability Theory. | Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller |
| 2010 | Formally Verified Conditions for Regularity of Interval Matrices. | Ioana Pasca |
| 2010 | Evidence Algorithm and System for Automated Deduction: A Retrospective View. | Alexander V. Lyaletski, Konstantin Verchinine |
| 2010 | From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals. | Salvador Lucas |
| 2010 | How to Correctly Prune Tropical Trees. | Jean-Vincent Loddo, Luca Saiu |
| 2010 | Notations Around the World: Census and Exploitation. | Paul Libbrecht |
| 2010 | Some Notes upon "When Does <T> Equal Sat(T)?". | Yongbin Li |
| 2010 | The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents. | Andriy Kovalchuk, Vyacheslav Levitsky, Igor Samolyuk, Valentyn Yanchuk |
| 2010 | A Mathematical Model of the Competition between Acquired Immunity and Virus. | Mikhail K. Kolev |
| 2010 | Towards MKM in the Large: Modular Representation and Scalable Software Architecture. | Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev |
| 2010 | Dimensions of Formality: A Case Study for MKM in Software Engineering. | Andrea Kohlhase, Michael Kohlhase, Christoph Lange |
| 2010 | Proofs, Proofs, Proofs, and Proofs. | Manfred Kerber |
| 2010 | sTeXIIS: An Integrated Development Environment for sTeX Collections. | Constantin Jucovschi, Michael Kohlhase |
| 2010 | Reducing Expression Size Using Rule-Based Integration. | David J. Jeffrey, Albert D. Rich |
| 2010 | Integrating Multiple Sources to Answer Questions in Algebraic Topology. | Jnathan Heras, Vico Pascual, Ana Romero, Julio Rubio |
| 2010 | Adapting Mathematical Domain Reasoners. | Bastiaan Heeren, Johan Jeuring |
| 2010 | On Duplication in Mathematical Repositories. | Adam Grabowski, Christoph Schwarzweller |
| 2010 | On Krawtchouk Transforms. | Philip Feinsilver, Ren Schott |
| 2010 | Instantiation of SMT Problems Modulo Integers. | Mnacho Echenim, Nicolas Peltier |