Pages that link to "Item:Q1094150"

The following pages link to Using Gröbner bases to reason about geometry problems (Q1094150):

Displaying 37 items.

• Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
• Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381) (← links)
• Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
• The area method. A recapitulation (Q437042) (← links)
• \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
• A procedure to prove statements in differential geometry (Q911792) (← links)
• On the application of Buchberger's algorithm to automated geometry theorem proving (Q1094149) (← links)
• A refutational approach to geometry theorem proving (Q1124373) (← links)
• On the synthetic factorization of projectively invariant polynomials (Q1176388) (← links)
• Application of Gröbner bases to problems of movement of a particle (Q1324423) (← links)
• An extension of a procedure to prove statements in differential geometry (Q1340965) (← links)
• Towards an intelligent and dynamic geometry book (Q1701659) (← links)
• A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
• Decomposing algebraic sets using Gröbner bases (Q1823621) (← links)
• Geometric theorem proving by integrated logical and algebraic reasoning (Q1855223) (← links)
• Computer-based manipulation of systems of equations in elasticity problems with Gröbner bases (Q1912176) (← links)
• Elimination procedures for mechanical theorem proving in geometry (Q1924738) (← links)
• The dimension method in elementary and differential geometry (Q1924742) (← links)
• Automated deduction and knowledge management in geometry (Q1995808) (← links)
• Automated detection of interesting properties in regular polygons (Q1995811) (← links)
• Learning to solve geometric construction problems from images (Q2128821) (← links)
• A parametric approach to 3D dynamic geometry (Q2229885) (← links)
• Modeling three-dimensional surface-to-surface rigid contact and impact (Q2284168) (← links)
• New dynamics in dynamic geometry: dragging constructed points (Q2334574) (← links)
• Rewriting input expressions in complex algebraic geometry provers (Q2631957) (← links)
• Computing final polynomials and final syzygies using Buchberger's Gröbner bases method (Q2639107) (← links)
• Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
• The Area Method and Proving Plane Geometry Theorems (Q2949300) (← links)
• Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742) (← links)
• A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
• Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method (Q3102746) (← links)
• The Relation Tool in GeoGebra 5 (Q3452276) (← links)
• A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
• Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems (Q5453488) (← links)
• Discovering Geometry Theorems in Regular Polygons (Q6108821) (← links)
• Geometry machines: from AI to SMC (Q6560378) (← links)
• Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker (Q6661748) (← links)