Pages that link to "Item:Q1094149"

The following pages link to On the application of Buchberger's algorithm to automated geometry theorem proving (Q1094149):

Displaying 50 items.

• Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381) (← links)
• Automatic deduction in (dynamic) geometry: Loci computation (Q390369) (← links)
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
• 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 (Q616847) (← links)
• \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
• Gröbner bases and invariant theory (Q909717) (← links)
• A procedure to prove statements in differential geometry (Q911792) (← links)
• Cayley factorization and a straightening algorithm (Q921864) (← links)
• Connecting the 3D DGS Calques3D with the CAS Maple (Q974253) (← links)
• On the application of Buchberger's algorithm to automated geometry theorem proving (Q1094149) (← links)
• Using Gröbner bases to reason about geometry problems (Q1094150) (← links)
• A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
• Wu's method and its application to perspective viewing (Q1115642) (← links)
• Computing dimension and independent sets for polynomial ideals (Q1116332) (← links)
• Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424) (← links)
• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving (Q1121669) (← links)
• A refutational approach to geometry theorem proving (Q1124373) (← links)
• Multilinear Cayley factorization (Q1176387) (← links)
• On the synthetic factorization of projectively invariant polynomials (Q1176388) (← links)
• Invariant computations for analytic projective geometry (Q1176391) (← links)
• Some examples of the use of distances as coordinates for euclidean geometry (Q1176392) (← links)
• Computational algebraic geometry of projective configurations (Q1176393) (← links)
• Automated reasoning in differential geometry and mechanics using the characteristic set method. I: An improved version of Ritt-Wu's decomposition algorithm (Q1311408) (← 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)
• Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
• A deductive database approach to automated geometry theorem proving and discovering (Q1581854) (← links)
• Automated reducible geometric theorem proving and discovery by Gröbner basis method (Q1701040) (← links)
• What does ``without loss of generality'' mean, and how do we detect it (Q1701639) (← links)
• A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
• Automated theorem proving practice with null geometric algebra (Q1730305) (← links)
• Decomposing algebraic sets using Gröbner bases (Q1823621) (← links)
• Grassmann-Cayley algebra and robotics (Q1842760) (← 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)
• A generalized Euclidean algorithm for geometry theorem proving (Q1924743) (← links)
• Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems (Q1924745) (← links)
• Mechanical theorem proving in projective geometry (Q1924746) (← links)
• A symbolic dynamic geometry system using the analytical geometry method (Q1995810) (← links)
• A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
• A class of mechanically decidable problems beyond Tarski's model (Q2475316) (← links)
• Proof-checking Euclid (Q2631965) (← links)
• Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
• (Q3571256) (← links)
• An introduction to geometry expert (Q4647519) (← links)
• (Q4841300) (← links)
• (Q4889407) (← links)
• (Q4935821) (← links)