Nonrealizability proofs in computational geometry
Open Access
- 1 August 1990
- journal article
- Published by Springer Nature in Discrete & Computational Geometry
- Vol. 5 (4) , 333-350
- https://doi.org/10.1007/bf02187794
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Solving systems of polynomial inequalities in subexponential timeJournal of Symbolic Computation, 1988
- Polytopal and nonpolytopal spheres an algorithmic approachIsrael Journal of Mathematics, 1987
- Altshuler's Sphere M10425 is not PolytopalEuropean Journal of Combinatorics, 1987
- Combinatorial geometries, convex polyhedra, and schubert cellsAdvances in Mathematics, 1987
- Neighborly 6-polytopes with 10 verticesIsrael Journal of Mathematics, 1987
- On the coordinatization of oriented matroidsDiscrete & Computational Geometry, 1986
- Oriented matroids and multiply ordered setsLinear Algebra and its Applications, 1982
- The classification of simplicial 3-spheres with nine vertices into polytopes and nonpolytopesDiscrete Mathematics, 1980
- Orientability of matroidsJournal of Combinatorial Theory, Series B, 1978
- Quantifier elimination for real closed fields by cylindrical algebraic decompostionPublished by Springer Nature ,1975