Every non-Euclidean oriented matroid admits a biquadratic final polynomial

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/103782Richter-Gebert proved that every non-Euclidean uniform oriented matroid admits a biquadratic final polynomial. We extend this result to the non-uniform case.5 pages, 1 figureCombinatorics05B35Every non-Euclidean oriented matroid admits a biquadratic final polynomialtext