| 2002 | Deduction versus Computation: The Case of Induction. | Eric Deplagne, Claude Kirchner |
| 2002 | The Wright omega Function. | Robert M. Corless, David J. Jeffrey |
| 2002 | Making Conjectures about Maple Functions. | Simon Colton |
| 2002 | Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees. | Alain Colmerauer |
| 2002 | Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design. | Madhu Chetty |
| 2002 | Non-commutative Logic for Hand-Written Character Modeling. | Jacqueline Castaing |
| 2002 | Indefinite Integration as a Testbed for Developments in Multi-agent Systems. | John A. Campbell |
| 2002 | On Mathematical Modeling of Networks and Implementation Aspects. | Regina Bernhaupt, Jochen Pfalzgraf |
| 2002 | The Meaning of Infinity in Calculus and Computer Algebra Systems. | Michael Beeson, Freek Wiedijk |
| 2002 | A Novel Face Recognition Method. | Li Bai, Yihui Liu |
| 2002 | Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. | Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani |
| 2002 | On a Generalised Logicality Theorem. | Marc Aiguier, Diane Bahrami, Catherine Dubois |
| 2000 | Some Techniques of Isomorph-Free Search. | Thierry Boy de la Tour |
| 2000 | Formalizing Rewriting in the ACL2 Theorem Prover. | Jos-Luis Ruiz-Reina, Jos-Antonio Alonso, Mara-Jos Hidalgo, Francisco-Jess Martn-Mateos |
| 2000 | Locally Effective Objects and Artificial Intelligence. | Julio Rubio |
| 2000 | Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. | Eugenio Roanes-Macas, Eugenio Roanes-Lozano |
| 2000 | Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices. | Angel Fernandez Pineda, Enric Trillas, Claudio Vaucheret |
| 2000 | A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects. | Jochen Pfalzgraf |
| 2000 | CDR: A Rewriting Based Tool to Design FPLA Circuits. | Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin |
| 2000 | George Boole, a Forerunner of Symbolic Computation. | Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori |
| 2000 | OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. | Michael Kohlhase |
| 2000 | Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management. | Marc Knoppe |
| 2000 | A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design. | Andrs Iglesias, Akemi Glvez |
| 2000 | How Symbolic Computation Can Benefit Computer-Aided Geometric Design. | Andrs Iglesias |
| 2000 | Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. | Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt |