| 2006 | An Inductive Inference System and Its Rationality. | Wei Li |
| 2006 | A Search Engine for Mathematical Formulae. | Michael Kohlhase, Ioan Sucan |
| 2006 | Solving Dynamic Geometric Constraints Involving Inequalities. | Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang |
| 2006 | Algebra and Geometry. | Heisuke Hironaka |
| 2006 | Operator Calculus Approach to Solving Analytic Systems. | Philip Feinsilver, Ren Schott |
| 2006 | Extension of First-Order Theories into Trees. | Khalil Djelloul, Thi-Bich-Hanh Dao |
| 2006 | Interactive Mathematical Documents. | Arjeh M. Cohen |
| 2004 | Extending Finite Model Searching with Congruence Closure Computation. | Jian Zhang, Hantao Zhang |
| 2004 | A Paraconsistent Higher Order Logic. | Jrgen Villadsen |
| 2004 | A Decision Procedure for Equality Logic with Uninterpreted Functions. | Olga Tveretina |
| 2004 | Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search. | Zbigniew Stachniak |
| 2004 | Proof Search in Minimal Logic. | Helmut Schwichtenberg |
| 2004 | On the Combination of Congruence Closure and Completion. | Christelle Scharff, Leo Bachmair |
| 2004 | The Algorithmization of Physics: Math Between Science and Engineering. | Markus Rosenkranz |
| 2004 | An Expert System on Detection, Evaluation and Treatment of Hypertension. | Eugenio Roanes-Lozano, E. Lpez-Vidriero Jr., Luis M. Laita, E. Lpez-Vidriero, Victor Maojo, Eugenio Roanes-Macas |
| 2004 | Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks. | Alexei D. Miasnikov |
| 2004 | An Evolutionary Local Search Method for Incremental Satisfiability. | Mohamed El-bachir Menai |
| 2004 | Verified Computer Algebra in Acl2. Grbner Bases Computation. | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jos A. Alonso-Jimnez, Jos-Luis Ruiz-Reina |
| 2004 | From a Computer Algebra Library to a System with an Equational Prover. | Serge Mechveliani |
| 2004 | Solving Equations Involving Sequence Variables and Sequence Functions. | Temur Kutsia |
| 2004 | Abstraction Within Partial Deduction for Linear Logic. | Peep Kngas |
| 2004 | Two Revision Methods Based on Constraints: Application to a Flooding Problem. | Mahat Khelfallah, Belaid Benhamou |
| 2004 | New Developments in Symmetry Breaking in Search Using Computational Group Theory. | Tom W. Kelsey, Steve Linton, Colva M. Roney-Dougal |
| 2004 | Proving and Constraint Solving in Computational Origami. | Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu |
| 2004 | Polynomial Interpretations with Negative Coefficients. | Nao Hirokawa, Aart Middeldorp |