Front matter
1-19
George Boole, a Forerunner of Symbolic Computation
Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano and Alberto Brunori
20-31
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management
Marc Knoppe
32-52
OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge
Michael Kohlhase
53-64
On Communicating Proofs in Interactive Mathematical Documents
Olga Caprotti and Martijn Oostdijk
65-77
Composite Distributive Lattices as Annotation Domains for Mediators
Jacques Calmet, Peter Kullmann and Morio Taneda
78-91
A Proof Strategy Based on a Dual Representation
Guilherme Bittencourt and Isabel Tonin
92-106
Formalizing Rewriting in the ACL2 Theorem Prover
José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo and Francisco-Jesús Martín-Mateos
107-114
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices
Angel Fernandez Pineda, Enric Trillas and Claudio Vaucheret
115-126
Reasoning about the Elementary Functions of Complex Analysis
Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt and Stephen M. Watt
127-141
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic
Martine Ceberio and Laurent Granvilliers
142-156
Basic Operators for Solving Constraints via Collaboration of Solvers
Carlos Castro and Eric Monfroy
157-173
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem
Eugenio Roanes-Macías and Eugenio Roanes-Lozano
174-183
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra
Robert M. Corless, Mark W. Giesbrecht, Ilias S. Kotsireas and Stephen M. Watt
184-199
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects
Jochen Pfalzgraf
200-213
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design
Andres Iglesias and Akemi Gálvez
214-218
How Symbolic Computation Can Benefit Computer-Aided Geometric Design
Andres Iglesias
219-222
CDR: A Rewriting Based Tool to Design FPLA Circuits
Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira and Jacques Chabin
223-226
Locally Effective Objects and Artificial Intelligence
Julio Rubio
227-239
Negotiation Algorithms for Multi-agent Interactions
Marco A. Arranz
240-252
Some Techniques of Isomorph-Free Search
Thierry Boy
Back matter