ADG 2018 - 12th International Conference on Automated Deduction in Geometry

ADG 2018 aims at gathering researchers, engineers, and others interested in exploring methods for automated reasoning and symbolic computation in geometry, to discuss theoretical and practical challenges, and to present recent research progress and results dedicated (not exhausted) in
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 constraint 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.