GeoView

swMATH12328MaRDI QIDQ24257FDOQ24257

Author name not available (Why is that?)

Cited In (9)

• A graphical user interface for formal proofs in geometry
• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
• Geometry constructions language
• Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
• Automated theorem proving in GeoGebra: current achievements
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
• GeoThms -- a web system for Euclidean constructive geometry
• Towards an intelligent and dynamic geometry book

This page was built for software: GeoView