Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Botana, Francisco (Editor ), Recio, Tomas (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Lecture Notes in Artificial Intelligence, 4869
Temas:
Geometry.
Artificial intelligence.
Computer graphics.
Machine theory.
Pattern recognition systems.
Computer science-Mathematics.
Discrete mathematics.
Artificial Intelligence.
Computer Graphics.
Formal Languages and Automata Theory.
Automated Pattern Recognition.
Discrete Mathematics in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Towards an Electronic Geometry Textbook
  • Equidecomposable Quadratic Regions
  • Automatic Verification of Regular Constructions in Dynamic Geometry Systems
  • Recognition of Computationally Constructed Loci
  • Algorithmic Search for Flexibility Using Resultants of Polynomial Systems
  • Cylinders Through Five Points: Complex and Real Enumerative Geometry
  • Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method
  • Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
  • Mechanical Theorem Proving in Tarski's Geometry
  • On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons
  • A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
  • Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
  • Constructing a Tetrahedron with Prescribed Heights and Widths.

Ejemplares similares