Pages that link to "Item:Q1995808"
From MaRDI portal
The following pages link to Automated deduction and knowledge management in geometry (Q1995808):
Displaying 5 items.
- Automatic generation of staged geometric predicates (Q1426869) (← links)
- A deductive database approach to automated geometry theorem proving and discovering (Q1581854) (← links)
- Formalization and specification of geometric knowledge objects (Q2254093) (← links)
- Realization of automatic reasoning system of geometry based on point-eliminating method (Q3399727) (← links)
- Automatic Deduction in an AI Geometry Book (Q6108829) (← links)