Mechanical theorem proving in projective geometry

DOI10.1007/BF01531327zbMath0855.68096OpenAlexW2128980051MaRDI QIDQ1924746

Jürgen Richter-Gebert

Publication date: 14 January 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01531327

zbMATH Keywords

mechanical theorem proving

Mathematics Subject Classification ID

Projective analytic geometry (51N15)

Related Items

Two cryptomorphic formalizations of projective incidence geometry ⋮ Diagrams, tensors and geometric reasoning ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. ⋮ Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry. ⋮ Homography in \(\mathbb{R}\mathbb{P}^2\) ⋮ Cancellation Patterns in Automatic Geometric Theorem Proving

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the finding of final polynomials
• Gröbner bases and invariant theory
• Nonrealizability proofs in computational geometry
• Ein neuer Schließungssatz für projektive Ebenen. (A new closure theorem for projective planes)
• On the application of Buchberger's algorithm to automated geometry theorem proving
• An infinite family of minor-minimal nonrealizable 3-chirotopes
• Schließungssätze als Eigenschaften von Projektivitäten. (Closure theorems as properties of projectivities)
• On the combinatorial classification of nondegenerate configurations in the plane
• Multilinear Cayley factorization
• On the synthetic factorization of projectively invariant polynomials
• Invariant-theoretic methods in scene analysis and structural mechanics
• Computational algebraic geometry of projective configurations
• Computational synthetic geometry
• Computing final polynomials and final syzygies using Buchberger's Gröbner bases method
• The Algebraic Geometry of Stresses in Frameworks
• On the Foundations of Combinatorial Theory: IX Combinatorial Methods in Invariant Theory
• The Bracket Ring of a Combinatorial Geometry. I
• On Certain Points in the Theory of Algebraic Differential Equations
• Die nichtkonstruierbare Konfiguration (10₃)