Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
From MaRDI portal
Publication:5495931
DOI10.1007/978-3-319-08434-3_22zbMath1304.68170arXiv1403.2194OpenAlexW1839505014WikidataQ57552300 ScholiaQ57552300MaRDI QIDQ5495931
Yannis Haralambous, Pedro Quaresma
Publication date: 7 August 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1403.2194
Related Items (4)
A survey on retrieval of mathematical knowledge ⋮ Towards an intelligent and dynamic geometry book ⋮ Automated deduction and knowledge management in geometry ⋮ Taxonomies of geometric problems
Uses Software
Cites Work
- Unnamed Item
- A deductive database approach to automated geometry theorem proving and discovering
- A review and prospect of readable machine proofs for geometry theorems
- The Web Geometry Laboratory Project
- Degrees of acyclicity for hypergraphs and relational database schemes
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
This page was built for publication: Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
