1 research outputs found
Every non-Euclidean oriented matroid admits a biquadratic final polynomial
Richter-Gebert proved that every non-Euclidean uniform oriented matroid
admits a biquadratic final polynomial. We extend this result to the non-uniform
case.Comment: 5 pages, 1 figur