Nonrealizability proofs in computational geometry
From MaRDI portal
Publication:912857
DOI10.1007/BF02187794zbMath0699.05018OpenAlexW2064119246MaRDI QIDQ912857
Bernd Sturmfels, Jürgen Bokowski, Jürgen Richter-Gebert
Publication date: 1990
Published in: Discrete \& Computational Geometry (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/131121
Combinatorial aspects of matroids and geometric lattices (05B35) Combinatorial geometries and geometric closure systems (51D20)
Related Items
A special arrangement with minimal number of triangles, General non-realizability certificates for spheres with linear programming, Totally positive matrices and cyclic polytopes, Arrangements of lines and pseudolines without adjacent triangles, Mechanical theorem proving in projective geometry, Complete enumeration of small realizable oriented matroids, Algebraic varieties characterizing matroids and oriented matroids, Computational algebraic geometry of projective configurations, Faradžev Read-type enumeration of non-isomorphic CC systems, Weak orientability of matroids and polynomial equations, On the Topology and Geometric Construction of Oriented Matroids and Convex Polytopes, Combinatorial obstructions to the lifting of weaving diagrams, On the matroid stratification of Grassmann varieties, specialization of coordinates, and a problem of N. White, On the finding of final polynomials
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Neighborly 6-polytopes with 10 vertices
- On the finding of final polynomials
- On the number of triangles in simple arrangements of pseudolines in the real projective plane
- Combinatorial geometries, convex polyhedra, and Schubert cells
- 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
- Simplicial cells in arrangements and mutations of oriented matroids
- A nonuniform matroid which violates the isotopy conjecture
- Solving systems of polynomial inequalities in subexponential time
- Arrangements of lines and pseudolines without adjacent triangles
- The classification of simplicial 3-spheres with nine vertices into polytopes and nonpolytopes
- Computational algebraic geometry of projective configurations
- Orientability of matroids
- On the coordinatization of oriented matroids
- Oriented matroids and multiply ordered sets
- Boundary Complexes of Convex Polytopes cannot Be Characterized Locally
- On the decidability of Diophantine problems in combinatorial geometry
- On the Topology and Geometric Construction of Oriented Matroids and Convex Polytopes
- The Bracket Ring of a Combinatorial Geometry. I
- Theory of Matroids
