Cancellation Patterns in Automatic Geometric Theorem Proving
From MaRDI portal
Publication:3102732
DOI10.1007/978-3-642-25070-5_1zbMath1350.68222OpenAlexW1577444404MaRDI QIDQ3102732
Susanne Apel, Jürgen Richter-Gebert
Publication date: 25 November 2011
Published in: Automated Deduction in Geometry (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-25070-5_1
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Proofs and surfaces ⋮ Homography in \(\mathbb{R}\mathbb{P}^2\) ⋮ Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the finding of final polynomials
- A group-theoretic interpretation of Tutte's homotopy theory
- Some new transversality properties
- Ceva, Menelaus, and selftransversality
- Grassmann-Plücker relations and matroids with coefficients
- Geometric algebra for combinatorial geometries
- Maurer's homotopy theory for even \(\Delta\)-matroids and related combinatorial geometries
- Mechanical theorem proving in projective geometry
- Matroid basis graphs. I
- Perspectives on Projective Geometry
- The Bracket Ring of a Combinatorial Geometry. I
- A new Ceva-type theorem
- Ceva, Menelaus, and the Area Principle
- Algorithms in invariant theory
This page was built for publication: Cancellation Patterns in Automatic Geometric Theorem Proving
