loading...

ADG

International Workshop on Automated Deduction in Geometry

Automated Deduction in Geometry

ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction.