Nonrealizability proofs in computational geometry

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

zbMATH Keywords

oriented matroidsnonrealizabilitysimplicial chirotope

Mathematics Subject Classification ID

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