Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Geometry --- Automatic theorem proving --- Logic, Symbolic and mathematical --- Géométrie --- Théorèmes --- Logique symbolique et mathématique --- Data processing --- Congresses. --- Informatique --- Congrès --- Démonstration automatique --- Information Technology --- Artificial Intelligence --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Mathematics. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer graphics. --- Pattern recognition. --- Geometry. --- Artificial Intelligence (incl. Robotics). --- Computer Graphics. --- Mathematical Logic and Formal Languages. --- Pattern Recognition. --- Discrete Mathematics in Computer Science. --- Math --- Science --- Mathematics --- Euclid's Elements --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer mathematics --- Discrete mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Digital techniques --- Computer science. --- Optical pattern recognition. --- Computational complexity. --- Artificial Intelligence. --- Complexity, Computational --- Optical data processing --- Pattern perception --- Perceptrons --- Visual discrimination --- Informatics --- Computer science—Mathematics.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

After ?ve successful editions (Toulouse, 1996; Beijing, 1998; Zurich, 2000; Linz, 2002,Gainesville,Fl.,2004),the seriesofinternationalworkshopsonAutomated DeductioninGeometry(ADG) hasconsolidatedits fundamentalroleconcerning the scienti?c community working on the interaction between geometry and - tomated deduction. From August 31 to September 2, 2006, a new ADG meeting took place at the Pontevedra (Galicia, Spain) campus of the University of Vigo, as a satellite event of the International Congress of Mathematicians (Madrid, August 22-30, 2006). We acknowledge the ?nancial support for ADG 2006, p- vided by the University of Vigo and the Spanish Ministerio de Educaci´ on y Ciencia under grant MTM2005-24580-E. It was a fruitful meeting - made possible by the work of the Organizing Committee (see next page) - for exchanging ideas and for the presentation of original results and software novelties - 21 contributions in total - under the scienti?c guidance of the Program Committee (listed on the next page). Mo- over, it was a privilege to receive the lectures of our distinguished guest spe- ers, Thomas Hales (U. Pittsburgh) and Martin Peternell (T.U. Wien), dealing with the so-calledFlyspeck project, i.e., the automatization of Hales' solution to Kepler'sconjecture,andwithrationalo?setsurfacesandrelatedissuesinCAGD, respectively.

Mathematical logic --- Geometry --- Discrete mathematics --- Mathematical statistics --- Geology. Earth sciences --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- patroonherkenning --- factoranalyse --- discrete wiskunde --- grafische vormgeving --- informatica --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- robots --- geometrie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)