Intelligent GeometryTools

Authors

Keywords

Automated deduction in Geometry, AI geometry Book

Conference

Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE2019) 2019