On the finding of final polynomials
From MaRDI portal
Publication:584273
DOI10.1016/S0195-6698(13)80052-2zbMath0693.05021MaRDI QIDQ584273
Jürgen Bokowski, Jürgen Richter-Gebert
Publication date: 1990
Published in: European Journal of Combinatorics (Search for Journal in Brave)
Related Items
Spatial polyhedra without diagonals, General non-realizability certificates for spheres with linear programming, Enumerating Neighborly Polytopes and Oriented Matroids, Abstract order type extension and new results on the rectilinear crossing number, Mechanical theorem proving in projective geometry, Realizability and inscribability for simplicial polytopes via nonlinear optimization, Complex psd-minimal polytopes in dimensions two and three, Complete enumeration of small realizable oriented matroids, A FLAG VECTOR OF A 3‐SPHERE THAT IS NOT THE FLAG VECTOR OF A 4‐POLYTOPE, Nonrealizability proofs in computational geometry, Unnamed Item, Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry., Faradžev Read-type enumeration of non-isomorphic CC systems, Combinatorial obstructions to the lifting of weaving diagrams, Arrangements of pseudocircles: on circularizability, Algebraic algorithms for sampling from conditional distributions, The complete enumeration of 4-polytopes and 3-spheres with nine vertices, Cancellation Patterns in Automatic Geometric Theorem Proving, The geometry of gaussoids, Euclideaness and final polynomials in oriented matroid theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nonrealizability proofs in computational geometry
- Neighborly polytopes
- Altshuler's sphere \(M^{10}_{425}\) is not polytopal
- Polytopal and nonpolytopal spheres. An algorithmic approach
- An infinite family of minor-minimal nonrealizable 3-chirotopes
- The classification of simplicial 3-spheres with nine vertices into polytopes and nonpolytopes
- Computational synthetic geometry
- Computing final polynomials and final syzygies using Buchberger's Gröbner bases method
- Boundary Complexes of Convex Polytopes cannot Be Characterized Locally
- Neighborly 4-Polytopes and Neighborly Combinatorial 3-Manifolds with Ten Vertices
