Información General

• Editores: [Vigo : Universidade de Vigo], D.L.
• Año de publicación: 2006
• País: España
• Idioma: inglés
• ISBN: 84-611-2355-7
• Texto completo no disponible (Saber más ...)

Resumen

• This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006. The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • The moment of truth, in automatic theorem proving in elementary geometry: (extended abstract)

    Carlos Beltrán Álvarez, G. Dalzotto, Tomás Jesús Recio Muñiz

    págs. 1-14

    

  • Towards an electronic geometry textbook: (extended abstract)

    Xiaoyu Chen, Dongming Wang

    págs. 15-25

    

  • On using OpenMath for representing dynamic geometry constructions: extended abstract

    Jesús Escribano, Miguel A. Abánades Astudillo, José Luis Valcarce Gómez, Francisco Botana Ferreiro

    págs. 26-30

    

  • Solving 3D quasi-decomposable geometric constraint systems

    A. Fabre, Pascal Schreck

    págs. 31-36

    

  • Automatic verification of regular constructions in dynamic geometry systems

    Pedrag Janicic, Pedro Quaresma

    págs. 37-50

    

  • Recognition of computationally constructed loci

    Peter Lebmeir, Jürgen Richter-Gebert

    págs. 51-61

    

  • Geometric factorization and theorem completion using bracket algebras: extended abstract

    Hongbo Li

    págs. 62-73

    

  • Cylinders through five points: complex and real enumerative geometry

    Daniel Lichtblau

    págs. 74-87

    

  • The technique of conjugate ratio for geometric theorem proving

    Tang Ling

    págs. 88-100

    

  • Interrogating witnesses for geometric constraints solving

    David Ménegaux, Dominique Michelucci, Sebti Foufou

    págs. 101-106

    

  • Mechanical theorem proving in Tarski's geometry

    Julien Narboux

    págs. 107-124

    

  • A maple package for automatic theorem proving and discovery in 3D-geometry

    Eugenio Roanes Macías, Eugenio Roanes Lozano

    págs. 125-140

    

  • Geometry expressions: a constraint based interactive symbolic geometry system

    Philip Todd

    págs. 141-143

    

  • Geometry explorer: a tool for generating diagrammatic full-angle method proofs : (extended abstract)

    Sean Wilson, Jacques D. Fleuriot

    págs. 144-150

    

  • A spatial geometric constraint problem solved by invariant method

    Lu Yang, Zhenbing Zeng

    págs. 151-159

    

  • On the mechanization of the proof of Hessenberg's Theorem

    Marc Bezem, Dimitri Hendriks

    págs. 160-181

    

  • Classical versus computer methods of solving problems in geometry

    Pavel Pech

    págs. 182-185

    

  • Algorithmic search for flexibility using resultant of polynomial systems

    Robert H. Lewis, E.A. Coutsias

    págs. 186-191

    

  • Orthogonality constraints on vectors in k dimensions

    John C. Owen

    págs. 192-199

    

  • Benchmarks for symbolic-dynamic geometry environments

    Thomas Gawlick

    págs. 200-207