Automated deduction in geometry

Automated deduction in geometry
Details
- OL Work ID
- OL16930935W
Subjects
GeometryCongressesSymbolic and mathematical LogicData processingAutomatic theorem provingGeometry, data processingLogic, symbolic and mathematical