GeoThms

swMATH6216MaRDI QIDQ18350FDOQ18350

Author name not available (Why is that?)

Described by source

• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories

Cited In (23)

• A review and prospect of readable machine proofs for geometry theorems
• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
• Geometry constructions language
• New dynamics in dynamic geometry: dragging constructed points
• Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
• Portfolio theorem proving and prover runtime prediction for geometry
• The Relation Tool in GeoGebra 5
• Current Status of the I2GATP Common Format
• Automated theorem proving in GeoGebra: current achievements
• The area method. A recapitulation
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• Automated deduction and knowledge management in geometry
• Title not available (Why is that?)
• Formalization and specification of geometric knowledge objects
• Automated generation of geometric theorems from images of diagrams
• Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
• GCLC — A Tool for Constructive Euclidean Geometry and More Than That
• Representation and automated transformation of geometric statements
• Formalization of Wu’s Simple Method in Coq
• On the Design and Implementation of a Geometric Knowledge Base
• GeoThms -- a web system for Euclidean constructive geometry
• Title not available (Why is that?)
• Towards an intelligent and dynamic geometry book

This page was built for software: GeoThms