Eighth International Workshop on

Automated Deduction in Geometry (ADG 2010)

https://lsiit.u-strasbg.fr/adg2010

ADG (Automated Deduction in Geometry) is a forum dedicated to the exchange of ideas and views, to the presention of research results and progress, and to the demonstration of software tools on the intersection between geometry and automated deduction.

ADG is now calling for contributions, in the form of extended abstracts or full papers (no page limits), to be submitted before February 01, 2010, via EasyChair. Notification of acceptance or rejection will be issued by March 15, 2010.

The topics include but are not limited to:

* Polynomial algebra, invariant and coordinate-free methods, probabilistic, synthetic, and logic approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics

* Symbolic and numeric methods for geometric computation, geometric constrain solving, automated generation/reasoning and manipulation with diagrams

* Design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies

* Applications of ADG to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education

generated Sun Jan 10 12:46:11 CET 2010