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

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Botana, Francisco (Editor), Recio, Tomas (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Lecture Notes in Artificial Intelligence, 4869
Subjects:
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.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items