Formalization and specification of geometric knowledge objects
From MaRDI portal
Publication:2254093
DOI10.1007/s11786-013-0167-4zbMath1319.68214OpenAlexW2094803811MaRDI QIDQ2254093
Publication date: 4 February 2015
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-013-0167-4
Related Items
Formalization of the arithmetization of Euclidean plane geometry and applications, Retrieving geometric information from images: the case of hand-drawn diagrams
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Geometry constructions language
- Three Years of DLMF: Web, Math and Search
- GeoThms — a Web System for Euclidean Constructive Geometry
- On the Design and Implementation of a Geometric Knowledge Base
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That
- Automated Deduction in Geometry