Invited Papers

• 
  Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori: George Boole, a Forerunner of Symbolic Computation. 1-19
• 
  Marc Knoppe: Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management. 20-31
• 
  Michael Kohlhase: OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge. 32-52

Contributed Papers and Poster Summaries

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

last updated on Fri May 24 04:36:25 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page