Artificial Intelligence and Symbolic Computation

International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers

  • John A. Campbell
  • Eugenio Roanes-Lozano
Conference proceedings AISC 2000

DOI: 10.1007/3-540-44990-6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1930)

Table of contents (20 papers)

  1. Front Matter
    Pages I-X
  2. Invited Papers

  3. Contributed Papers and Poster Summaries

    1. On Communicating Proofs in Interactive Mathematical Documents
      Olga Caprotti, Martijn Oostdijk
      Pages 53-64
    2. Composite Distributive Lattices as Annotation Domains for Mediators
      Jacques Calmet, Peter Kullmann, Morio Taneda
      Pages 65-77
    3. A Proof Strategy Based on a Dual Representation
      Guilherme Bittencourt, Isabel Tonin
      Pages 78-91
    4. Formalizing Rewriting in the ACL2 Theorem Prover
      José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos
      Pages 92-106
    5. Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices
      Angel Fernandez Pineda, Enric Trillas, Claudio Vaucheret
      Pages 107-114
    6. Reasoning about the Elementary Functions of Complex Analysis
      Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt
      Pages 115-126
    7. Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic
      Martine Ceberio, Laurent Granvilliers
      Pages 127-141
    8. Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem
      Eugenio Roanes-Macías, Eugenio Roanes-Lozano
      Pages 157-173
    9. Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra
      Robert M. Corless, Mark W. Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt
      Pages 174-183
    10. CDR: A Rewriting Based Tool to Design FPLA Circuits
      Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin
      Pages 219-222

About these proceedings


Automat artificial intelligence automated theorem proving expert system intelligence learning machine learning modeling multi-agent system proving theorem proving

Editors and affiliations

  • John A. Campbell
    • 1
  • Eugenio Roanes-Lozano
    • 2
  1. 1.University College LondonLondonUK
  2. 2.Dept. Algebra, Fac. EducaciónUniversidad Complutense de MadridMadridSpain

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42071-2
  • Online ISBN 978-3-540-44990-4
  • Series Print ISSN 0302-9743