• Publications
  • Influence
On the Finding of Final Polynomials
TLDR
We show that non-representable oriented matroids always possess a final polynomial as a consequence of an appropriate real version of Hilbert's Nullstellensatz. Expand
  • 34
  • 5
Neighborly 2-Manifolds with 12 Vertices
TLDR
We provide a complete list of 59 orientable neighborly 2-manifolds with 12 vertices of genus 6, and we study their possible flat embeddings in Euclidean 3-space. Expand
  • 36
  • 5
  • PDF
On Heuristic Methods for Finding Realizations of Surfaces
TLDR
This article discusses heuristic methods for finding realizations of oriented matroids of rank 3 and 4 for the spatial embeddability problem. Expand
  • 14
  • 4
Computational Oriented Matroids
  • 37
  • 3
Nonrealizability proofs in computational geometry
TLDR
We introduce the concept of final polynomials as a systematic approach to prove nonrealizability for oriented matroids and combinatorial geometries. Expand
  • 26
  • 3
  • PDF
The classification of simplicial 3-spheres with nine vertices into polytopes and nonpolytopes
TLDR
The classification of the 1296 (simplicial) 3-spheres with nine vertices into polytopal and nonpolytopal spheres, started earlier, is completed here. Expand
  • 66
  • 2
On the Generation of Oriented Matroids
TLDR
We provide a multiple purpose algorithm for generating oriented matroids. Expand
  • 55
  • 2
On the Folkman-Lawrence Topological Representation Theorem for Oriented Matroids of Rank 3
TLDR
We present a new direct proof of the Folkman?Lawrence topological representation theorem for oriented matroids of rank 3. Expand
  • 21
  • 2
Neighborly 6-polytopes with 10 vertices
There are exactly 37 combinatorial types of neighborly 6-polytopes with 10 vertices. A full description is given.
  • 26
  • 2
...
1
2
3
4
5
...