| 2004 | Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. | Laurent Granvilliers, Mina Ouabiba |
| 2004 | Singularities in Qualitative Reasoning. | Bjrn Gottfried |
| 2004 | Generic Hermitian Quantifier Elimination. | Andreas Dolzmann, Lorenz A. Gilch |
| 2004 | Abstraction-Driven Verification of Array Programs. | David Dharbe, Abdessamad Imine, Silvio Ranise |
| 2004 | Planning and Patching Proof. | Alan Bundy |
| 2004 | Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy. | Bruno Buchberger |
| 2004 | Four Approaches to Automated Reasoning with Differential Algebraic Structures. | Jess Aransay, Clemens Ballarin, Julio Rubio |
| 2002 | Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. | Jrgen Zimmer, Louise A. Dennis |
| 2002 | A Genetic-Based Approach for Satisfiability Problems. | Mohamed Tounsi |
| 2002 | On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope. | K. Subramani |
| 2002 | Integration of Quantifier Elimination with Constraint Logic Programming. | Thomas Sturm |
| 2002 | Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic. | Elena Smirnova |
| 2002 | Continuous First-Order Constraint Satisfaction. | Stefan Ratschan |
| 2002 | Combining Generic and Domain Specific Reasoning by Using Contexts. | Silvio Ranise |
| 2002 | Focus Windows: A New Technique for Proof Presentation. | Florina Piroi, Bruno Buchberger |
| 2002 | YACAS: A Do-It-Yourself Symbolic Algebra Environment. | Ayal Z. Pinkus, Serge Winitzki |
| 2002 | Multicontext Logic for Semigroups of Contexts. | Rolf Nossum, Luciano Serafini |
| 2002 | Employing Theory Formation to Guide Proof Planning. | Andreas Meier, Volker Sorge, Simon Colton |
| 2002 | From Numerical to Symbolic Data during the Recognition of Scenarii. | Sophie Loriette-Rougegrez |
| 2002 | Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. | Temur Kutsia |
| 2002 | Inductive Synthesis of Functional Programs. | Emanuel Kitzelmann, Ute Schmid, Martin Mhlpfordt, Fritz Wysotzki |
| 2002 | Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation. | Andrew Hunter |
| 2002 | A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis. | Begoa Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, Jos Crespo, Laura Laita |
| 2002 | Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints. | Martin Charles Golumbic, Assaf Siani |
| 2002 | Constraint Acquisition. | Eugene C. Freuder |