Automatic Deduction in an AI Geometry Book

Authors

Keywords

Automated deduction in Geometry, AI geometry Book

Conference

13th International Conference on Artificial Intelligence and Symbolic Computation 2018