GEX

swMATH9961MaRDI QIDQ21940FDOQ21940

Author name not available (Why is that?)

Cited In (31)

• A review and prospect of readable machine proofs for geometry theorems
• A graphical user interface for formal proofs in geometry
• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
• A parametric approach to 3D dynamic geometry
• Geometry constructions language
• Automated Deduction in Geometry
• An introduction to geometry expert
• Taxonomies of geometric problems
• Connecting the 3D DGS Calques3D with the CAS Maple
• An Introduction to Java Geometry Expert
• Portfolio theorem proving and prover runtime prediction for geometry
• The Relation Tool in GeoGebra 5
• Automated theorem proving in GeoGebra: current achievements
• The area method. A recapitulation
• Solution classification for the nonperspective-three-point problem
• A software tool for the investigation of plane loci
• Automatic determination of envelopes and other derived curves within a graphic environment
• Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
• Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
• Automated deduction and knowledge management in geometry
• Formalization of the arithmetization of Euclidean plane geometry and applications
• New algorithms for the perspective-three-point problem
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
• Formalization of Wu’s Simple Method in Coq
• A Singular web service for geometric computations
• GeoThms -- a web system for Euclidean constructive geometry
• Towards an intelligent and dynamic geometry book
• Automated generation of Kempe linkage and its complexity
• Rewriting input expressions in complex algebraic geometry provers
• Automatic deduction in (dynamic) geometry: Loci computation

This page was built for software: GEX