Computational synthetic geometry

DOI10.1007/BFB0089253zbMath0683.05015WikidataQ105584594 ScholiaQ105584594MaRDI QIDQ1187653

Bernd Sturmfels, Jürgen Bokowski

Publication date: 17 September 1992

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

zbMATH Keywords

Computational geometrypolytopesoriented matroidsComputational synthetic geometry

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Research exposition (monographs, survey articles) pertaining to combinatorics (05-02) Grassmannians, Schubert varieties, flag manifolds (14M15) Combinatorial aspects of matroids and geometric lattices (05B35) Combinatorial geometries and geometric closure systems (51D20) Configuration theorems in linear incidence geometry (51A20) Discrete mathematics in relation to computer science (68R99) Polytopes and polyhedra (52Bxx)

Related Items (66)

Matroids, motives, and a conjecture of Kontsevich. ⋮ Polycyclic configurations ⋮ Spatial polyhedra without diagonals ⋮ Hurwitz's regular map <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mfenced><mml:mn>3</mml:mn><mml:mn>7</mml:mn></mml:mfenced></mml:math> of genus <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mn>7</mml:mn></mml:math>: A polyhedral realization ⋮ On a smallest topological triangle free (n_4) point-line configuration ⋮ The configurations (13_3) ⋮ Combinatorial configurations, quasiline arrangements, and systems of curves on surfaces ⋮ Nonrealizable minimal vertex triangulations of surfaces: showing nonrealizability using oriented matroids and satisfiability solvers ⋮ Computing final polynomials and final syzygies using Buchberger's Gröbner bases method ⋮ Algebraic degrees of 3-dimensional polytopes ⋮ General non-realizability certificates for spheres with linear programming ⋮ On the configurations of nine points on a cubic curve ⋮ Irreducible \((v_{3})\) configurations and graphs ⋮ The universal partition theorem for oriented matroids ⋮ Non-existence of polyhedral immersions of triangulated surfaces in \(\mathbb R^3\) ⋮ On the mathematical model of triangulanes ⋮ Configurations and their realization ⋮ Uniform oriented matroids without the isotopy property ⋮ Mechanical theorem proving in projective geometry ⋮ The volume of duals and sections of polytopes ⋮ Realizability and inscribability for simplicial polytopes via nonlinear optimization ⋮ The Grassmannian of 3-planes in \(\mathbb{C}^8\) is schön ⋮ Likelihood degenerations ⋮ Multilaterals in configurations ⋮ Remarks on Plücker embedding and totally antisymmetric gauge fields ⋮ A FLAG VECTOR OF A 3‐SPHERE THAT IS NOT THE FLAG VECTOR OF A 4‐POLYTOPE ⋮ Gröbner bases and invariant theory ⋮ Coordinatizing n_3 configurations ⋮ The 10-cages and derived configurations ⋮ All \(11_ 3\) and \(12_ 3\)-configurations are rational ⋮ 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. ⋮ Homogeneous multivariate polynomials with the half-plane property ⋮ Algebraic varieties characterizing matroids and oriented matroids ⋮ The complexity of point configurations ⋮ On the synthetic factorization of projectively invariant polynomials ⋮ Computational algebraic geometry of projective configurations ⋮ Symmetry, oriented matroids and two conjectures of Michel Las Vergnas ⋮ Weak orientability of matroids and polynomial equations ⋮ Unnamed Item ⋮ A flexible theoretical representation for the temporal dynamics of structured populations as paths on polytope complexes ⋮ A new Sylvester-Gallai configuration representing the 13-point projective plane in \(R^ 4\) ⋮ On the distribution of order types ⋮ On representing contexts in line arrangements ⋮ Oriented matroids with few mutations ⋮ Two constructions of oriented matroids with disconnected extension space ⋮ Combinatorial obstructions to the lifting of weaving diagrams ⋮ Non-starshaped spheres ⋮ Object and image indexing based on region connection calculus and oriented matroid theory ⋮ A note on N_k configurations and theorems in projective space ⋮ On the matroid stratification of Grassmann varieties, specialization of coordinates, and a problem of N. White ⋮ Unnamed Item ⋮ On the finding of final polynomials ⋮ Neighborly cubical polytopes and spheres ⋮ Combinatorial configurations in the definition of antimagic labelings of graphs ⋮ Realizability of polytopes as a low rank matrix completion problem ⋮ On the existence of certain smooth toric varieties ⋮ Decomposition Theorems for a Generalization of the Holonomy Lie Algebra of an Arrangement ⋮ In Praise of Numerical Computation ⋮ The complete enumeration of 4-polytopes and 3-spheres with nine vertices ⋮ The slack realization space of a matroid ⋮ On the representation of configurations in projective spaces ⋮ Symmetric matroid polytopes and their generation ⋮ Equivariant mappings: A new approach in stochastic simulations ⋮ Weakly flag-transitive configurations and half-arc-transitive graphs ⋮ Euclideaness and final polynomials in oriented matroid theory

This page was built for publication: Computational synthetic geometry