Pages that link to "Item:Q5495931"
From MaRDI portal
The following pages link to Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices (Q5495931):
Displaying 5 items.
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- A survey on retrieval of mathematical knowledge (Q2364882) (← links)
- Open geometry prover community project (Q6653967) (← links)