Pages that link to "Item:Q1808565"

The following pages link to Automatic discovery of theorems in elementary geometry (Q1808565):

Displaying 44 items.

• Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
• On the unavoidable uncertainty of truth in dynamic geometry proving (Q294370) (← links)
• Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
• A bridge between dynamic geometry and computer algebra (Q597561) (← links)
• Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick (Q783254) (← links)
• On protocols for the automated discovery of theorems in elementary geometry (Q846167) (← links)
• Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
• An algebraic approach to rule based expert systems (Q981968) (← links)
• Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
• A software tool for the investigation of plane loci (Q1861521) (← links)
• Automatic determination of envelopes and other derived curves within a graphic environment (Q1887816) (← links)
• Automated deduction and knowledge management in geometry (Q1995808) (← links)
• Automated detection of interesting properties in regular polygons (Q1995811) (← links)
• A mechanical geometer (Q2071524) (← links)
• Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences (Q2071535) (← links)
• Some issues on the automatic computation of plane envelopes in interactive environments (Q2228804) (← links)
• A parametric approach to 3D dynamic geometry (Q2229885) (← links)
• Generalizing the Steiner-Lehmus theorem using the Gröbner cover (Q2229890) (← links)
• Locus computation in dynamic geometry environment (Q2319440) (← links)
• Reasoning about linkages with dynamic geometry (Q2334575) (← links)
• Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
• A Singular web service for geometric computations (Q2354915) (← links)
• A Groebner bases-based approach to backward reasoning in rule based expert systems (Q2379678) (← links)
• Detecting truth, just on parts (Q2425054) (← links)
• Rewriting input expressions in complex algebraic geometry provers (Q2631957) (← links)
• Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
• Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
• Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System (Q3102736) (← links)
• The Relation Tool in GeoGebra 5 (Q3452276) (← links)
• A Symbolic Companion for Interactive Geometric Systems (Q5200127) (← links)
• Development of automatic reasoning tools in GeoGebra (Q5270196) (← links)
• Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488) (← links)
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)
• Automated Deduction in Geometry (Q5902031) (← links)
• Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} (Q6106414) (← links)
• Discovering Geometry Theorems in Regular Polygons (Q6108821) (← links)
• Towards an Automated Geometer (Q6108828) (← links)
• Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? (Q6157640) (← links)
• Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems (Q6157643) (← links)
• NAPOLEON'S THEOREM FROM THE VIEW POINT OF GRÖBNER BASES (Q6192529) (← links)
• Automated generation of geometry proof problems based on point geometry identity (Q6552506) (← links)
• Open geometry prover community project (Q6653967) (← links)
• GeoGebra discovery in context (Q6653968) (← links)
• Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski (Q6653970) (← links)