GeoView
From MaRDI portal
Software:24257
No author found.
Related Items (9)
Automated theorem proving in GeoGebra: current achievements ⋮ Geometry constructions language ⋮ Towards an intelligent and dynamic geometry book ⋮ A graphical user interface for formal proofs in geometry ⋮ A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs ⋮ Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories ⋮ Automatic Verification of Regular Constructions in Dynamic Geometry Systems ⋮ Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) ⋮ GeoThms — a Web System for Euclidean Constructive Geometry
This page was built for software: GeoView
