Mechanical theorem proving in projective geometry
From MaRDI portal
Recommendations
Cites work
- An infinite family of minor-minimal nonrealizable 3-chirotopes
- Computational algebraic geometry of projective configurations
- Computational synthetic geometry
- Computing final polynomials and final syzygies using Buchberger's Gröbner bases method
- Die nichtkonstruierbare Konfiguration (103)
- Ein neuer Schließungssatz für projektive Ebenen. (A new closure theorem for projective planes)
- Gröbner bases and invariant theory
- scientific article; zbMATH DE number 3926283 (Why is no real title available?)
- scientific article; zbMATH DE number 3941661 (Why is no real title available?)
- scientific article; zbMATH DE number 3987367 (Why is no real title available?)
- scientific article; zbMATH DE number 3990225 (Why is no real title available?)
- scientific article; zbMATH DE number 4065140 (Why is no real title available?)
- scientific article; zbMATH DE number 3723412 (Why is no real title available?)
- scientific article; zbMATH DE number 41286 (Why is no real title available?)
- scientific article; zbMATH DE number 53152 (Why is no real title available?)
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 2188749 (Why is no real title available?)
- scientific article; zbMATH DE number 3185430 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- Invariant-theoretic methods in scene analysis and structural mechanics
- Multilinear Cayley factorization
- Nonrealizability proofs in computational geometry
- On Certain Points in the Theory of Algebraic Differential Equations
- On the application of Buchberger's algorithm to automated geometry theorem proving
- On the combinatorial classification of nondegenerate configurations in the plane
- On the finding of final polynomials
- On the Foundations of Combinatorial Theory: IX Combinatorial Methods in Invariant Theory
- On the synthetic factorization of projectively invariant polynomials
- Schließungssätze als Eigenschaften von Projektivitäten. (Closure theorems as properties of projectivities)
- The Algebraic Geometry of Stresses in Frameworks
- The Bracket Ring of a Combinatorial Geometry. I
Cited in
(32)- Invariant computations for analytic projective geometry
- Automated reasoning about cubic curves
- 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.
- Elimination procedures for mechanical theorem proving in geometry
- Formalizing constructive projective geometry in Agda
- Diagrams, tensors and geometric reasoning
- Pascal's theorem in real projective plane
- A review and prospect of readable machine proofs for geometry theorems
- Two cryptomorphic formalizations of projective incidence geometry
- Automated theorem proving in projective geometry with bracket algebra
- A car crash solved-with a Swiss army knife
- Cancellation patterns in automatic geometric theorem proving
- Some lemmas to hopefully enable search methods to find short and human readable proofs for incidence theorems of projective geometry
- A geometry prover based on a combined probabilistic checking model
- scientific article; zbMATH DE number 95106 (Why is no real title available?)
- scientific article; zbMATH DE number 1276823 (Why is no real title available?)
- scientific article; zbMATH DE number 1322827 (Why is no real title available?)
- scientific article; zbMATH DE number 1088205 (Why is no real title available?)
- scientific article; zbMATH DE number 1160042 (Why is no real title available?)
- scientific article; zbMATH DE number 1761890 (Why is no real title available?)
- Coordinate-free theorem proving in incidence geometry
- scientific article; zbMATH DE number 842884 (Why is no real title available?)
- Homography in \(\mathbb{R}\mathbb{P}^2\)
- Implementation of a geometry theorem proving package in SCRATCHPAD II
- Automated Deduction in Geometry
- Formalizing Some “Small” Finite Models of Projective Geometry in Coq
- Combinatorial analysis of proofs in projective and affine geometry
- A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry
- Geometry machines: from AI to SMC
- Mechanical geometry theorem proving based on Gröbner bases
- When Grünbaum meets Poncelet: infinite classes of movable (n₄) configurations
This page was built for publication: Mechanical theorem proving in projective geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924746)
