Artificial Intelligence and Symbolic Computation: International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers
Author: John A. Campbell, Eugenio Roanes-Lozano
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42071-2
DOI: 10.1007/3-540-44990-6

Table of Contents:

George Boole, a Forerunner of Symbolic Computation
Artificial Intelligence as a Decision Tool for Efficient Strategic and Operational Management
OMDoc: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge
On Communicating Proofs in Interactive Mathematical Documents
Composite Distributive Lattices as Annotation Domains for Mediators
A Proof Strategy Based on a Dual Representation
Formalizing Rewriting in the ACL2 Theorem Prover
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices
Reasoning about the Elementary Functions of Complex Analysis
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic
Basic Operators for Solving Constraints via Collaboration of Solvers
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra
A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects
A New Artificial Intelligence Paradigm for Computer-Aided Geometric Design
How Symbolic Computation Can Benefit Computer-Aided Geometric Design
CDR: A Rewriting Based Tool to Design FPLA Circuits
Locally Effective Objects and Artificial Intelligence
Negotiation Algorithms for Multi-agent Interactions
Some Techniques of Isomorph-Free Search

Includes bibliographical references and index
George Boole, a forerunner of symbolic computation / Luis M. Laita [and others] -- 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 -- On communicating proofs in interactive mathematical documents / Olga Caprotti and Martijn Oostdijk -- Composite distributive lattices as annotation domains for mediators / Jacques Calmet, Peter Kullmann, and Morio Taneda -- A proof strategy based on a dual representation / Guilherme Bittencourt and Isabel Tonin -- Formalizing rewriting in the ACL2 theorem prover / Jose-Luis Ruiz-Reina [and others] -- Additional comments on conjectures, hypotheses, and consequences in orthocomplemented lattices / Angel Fernandez Pineda, Enric Trillas, and Claudio Vaucheret -- Reasoning about the elementary functions of complex analysis / Robert M. Corless [and others] -- Solving nonlinear systems by constraint inversion and interval arithmetic / Martine Ceberio and Laurent Granvilliers -- Basic operators for solving constraints via collaboration of solvers / Carlos Castro and Eric Monfroy -- Automatic determination of geometric loci. 3D-extension of Simson-Steiner theorem / Eugenio Roanes-Macias and Eugenio Roanes-Lozano -- Numerical implicitization of parametric hypersurfaces with linear algebra / Robert M. Corless [and others] -- 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 and Akemi Galvez -- How symbolic computation can benefit computer-aided geometric design / Andres Iglesias -- CDR: a rewriting based tool to design FPLA circuits / Zahir Maazouzi .. [et al.] -- 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