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 |