Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers (Q5933481)

The articles of mathematical interest will be reviewed individually. The 1998 conference has been reviewed (see Zbl 0896.00032). Indexed articles: \textit{Laita, Luis M.; de Ledesma, Luis; Roanes-Lozano, Eugenio; Brunori, Alberto}, George Boole, a forerunner of symbolic computation, 1-19 [Zbl 1042.03002] \textit{Knoppe, Marc}, Artificial intelligence as a decision tool for efficient strategic and operational management, 20-31 [Zbl 1042.68646] \textit{Kohlhase, Michael}, OMDOC: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge, 32-52 [Zbl 1042.00511] \textit{Caprotti, Olga; Oostdijk, Martijn}, On communicating proofs in interactive mathematical documents, 53-64 [Zbl 1042.00510] \textit{Calmet, Jacques; Kullmann, Peter; Taneda, Morio}, Composite distributive lattices as annotation domains for mediators, 65-77 [Zbl 1042.03025] \textit{Bittencourt, Guilherme; Tonin, Isabel}, A proof strategy based on a dual representation, 78-91 [Zbl 1042.03011] \textit{Ruiz-Reina, José-Luis; Alonso, José-Antonio; Hidalgo, María-José; Martín-Mateos, Francisco-Jesús}, Formalizing rewriting in the ACL2 theorem prover, 92-106 [Zbl 1042.68666] \textit{Fernandez Pineda, Angel; Trillas, Enric; Vaucheret, Claudio}, Additional comments on conjectures, hypotheses, and consequences in orthocomplemented lattices, 107-114 [Zbl 1042.06006] \textit{Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Litt, Gurjeet; Watt, Stephen M.}, Reasoning about the elementary functions of complex analysis, 115-126 [Zbl 1042.68128] \textit{Ceberio, Martine; Granvilliers, Laurent}, Solving nonlinear systems by constraint inversion and interval arithmetic, 127-141 [Zbl 1042.68127] \textit{Castro, Carlos; Monfroy, Eric}, Basic operators for solving constraints via collaboration of solvers, 142-156 [Zbl 1042.68103] \textit{Roanes-Macías, Eugenio; Roanes-Lozano, Eugenio}, Automatic determination of geometric loci. 3D-extension of Simson-Steiner theorem, 157-173 [Zbl 1042.68129] \textit{Corless, Robert M.; Giesbrecht, Mark W.; Kotsireas, Ilias S.; Watt, Stephen M.}, Numerical implicitization of parametric hypersurfaces with linear algebra, 174-183 [Zbl 1042.65020] \textit{Pfalzgraf, Jochen}, A note on modeling connectionist network structures: Geometric and categorical aspects, 184-199 [Zbl 1042.68099] \textit{Iglesias, Andres; Gálvez, Akemi}, A new artificial intelligence paradigm for computer-aided geometric design, 200-213 [Zbl 1042.68685] \textit{Iglesias, Andres}, How symbolic computation can benefit computer-aided geometric design, 214-218 [Zbl 1042.68684] \textit{Maazouzi, Zahir; Andrianarivelo, Nirina; Bousdira, Wadoud; Chabin, Jacques}, CDR: A rewriting based tool to design FPLA circuits, 219-222 [Zbl 1042.68607] \textit{Rubio, Julio}, Locally effective objects and artificial intelligence, 223-226 [Zbl 1042.68828] \textit{Arranz, Marco A.}, Negotiation algorithms for multi-agent interactions, 227-239 [Zbl 1042.68667] \textit{Boy de la Tour, Thierry}, Some techniques of isomorph-free search, 240-252 [Zbl 1042.68102]