| 2010 | Computing in Coq with Infinite Algebraic Data Structures. | Csar Domnguez, Julio Rubio |
| 2010 | The Challenges of Multivalued "Functions". | James H. Davenport |
| 2010 | An OpenMath Content Dictionary for Tensor Concepts. | Joseph B. Collins |
| 2010 | A Formal Quantifier Elimination for Algebraically Closed Fields. | Cyril Cohen, Assia Mahboubi |
| 2010 | Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System. | Xiaoyu Chen |
| 2010 | Symbolic Domain Decomposition. | Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt |
| 2010 | Mechanized Mathematics. | Jacques Carette |
| 2010 | A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence. | Jacques Calmet, John A. Campbell |
| 2010 | Formal Proof of SCHUR Conjugate Function. | Franck Butelle, Florent Hivert, Micaela Mayero, Frdric Toumazet |
| 2010 | Structured Formal Development with Quotient Types in Isabelle/HOL. | Maksym Bortin, Christoph Lth |
| 2010 | Untitled record | Hicham Bensaid, Ricardo Caferra, Nicolas Peltier |
| 2010 | Smart Matching. | Andrea Asperti, Enrico Tassi |
| 2010 | Some Considerations on the Usability of Interactive Provers. | Andrea Asperti, Claudio Sacerdoti Coen |
| 2008 | Increasing Interpretations. | Harald Zankl, Aart Middeldorp |
| 2008 | On Correctness of Mathematical Texts from a Logical and Practical Point of View. | Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov |
| 2008 | Unit Knowledge Management. | Jonathan Stratford, James H. Davenport |
| 2008 | Transforming the arXiv to XML. | Heinrich Stamerjohanns, Michael Kohlhase |
| 2008 | On the Construction of Transformation Steps in the Category of Multiagent Systems. | Thomas Soboll |
| 2008 | Kantian Philosophy of Mathematics and Young Robots. | Aaron Sloman |
| 2008 | A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. | Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macas |
| 2008 | Automated Classification and Categorization of Mathematical Knowledge. | Radim Rehurek, Petr Sojka |
| 2008 | On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra. | Jochen Pfalzgraf |
| 2008 | Automated Model Building: From Finite to Infinite Models. | Nicolas Peltier |
| 2008 | Augmenting Presentation MathML for Search. | Bruce R. Miller, Abdou Youssef |
| 2008 | Combining Isabelle and QEPCAD-B in the Prover's Palette. | Laura I. Meikle, Jacques D. Fleuriot |