MMP/Geometer

swMATH584MaRDI QIDQ13339FDOQ13339

Author name not available (Why is that?)

Described by source

• Automated Deduction in Geometry

Cited In (13)

• 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
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
• Automatically building diagrams for olympiad geometry problems
• Formalization of Wu’s Simple Method in Coq
• A Singular web service for geometric computations
• Wu's characteristic set method for SystemVerilog assertions verification
• GeoThms -- a web system for Euclidean constructive geometry

This page was built for software: MMP/Geometer