| Invited Papers |
| George Boole, a Forerunner of Symbolic Computation / Luis M. Laita ; Luis de Ledesma ; Eugenio Roanes-Lozano ; Alberto Brunori |
| Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management / Marc Knoppe |
| OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge / Michael Kohlhase |
| Contributed Papers and Poster Summaries |
| On Communicating Proofs in Interactive Mathematical Documents / Olga Caprotti ; Martijn Oostdijk |
| Composite Distributive Lattices as Annotation Domains for Mediators / Jacques Calmet ; Peter Kullmann ; Morio Taneda |
| A Proof Strategy Based on a Dual Representation / Guilherme Bittencourt ; Isabel Tonin |
| Formalizing Rewriting in the ACL2 Theorem Prover / José-Luis Ruiz-Reina ; José-Antonio Alonso ; MarÃa-José Hidalgo ; Francisco-Jesús MartÃn-Mateos |
| Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices / Angel Fernandez Pineda ; Enric Trillas ; Claudio Vaucheret |
| Reasoning about the Elementary Functions of Complex Analysis / Robert M. Corless ; James H. Davenport ; David J. Jeffrey ; Gurjeet Litt ; Stephen M. Watt |
| Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic / Martine Ceberio ; Laurent Granvilliers |
| Basic Operators for Solving Constraints via Collaboration of Solvers / Carlos Castro ; Eric Monfroy |
| Automatic Determination of Geometric Loci.3D-Extension of Simson-Steiner Theorem / Eugenio Roanes-MacÃas |
| Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra / MarkW. Giesbrecht ; Ilias S. Kotsireas |
| A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects / Jochen Pfalzgraf |
| A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design / Andres Iglesias ; Akemi Galvez |
| How Symbolic Computation Can Benefit Computer-Aided Geometric Design |
| CDR: A Rewriting Based Tool to Design FPLA Circuits / Zahir Maazouzi ; Nirina Andrianarivelo ; Wadoud Bousdira ; Jacques Chabin |
| Locally Effective Objects and Artificial Intelligence / Julio Rubio |
| Negotiation Algorithms for Multi-agent Interactions / Marco A. Arranz |
| Some Techniques of Isomorph-Free Search / Thierry Boy de la Tour |
| Author Index |
| Invited Papers |
| George Boole, a Forerunner of Symbolic Computation / Luis M. Laita ; Luis de Ledesma ; Eugenio Roanes-Lozano ; Alberto Brunori |
| Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management / Marc Knoppe |
| OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge / Michael Kohlhase |
| Contributed Papers and Poster Summaries |
| On Communicating Proofs in Interactive Mathematical Documents / Olga Caprotti ; Martijn Oostdijk |
