Combinatorial Geometry¶
← Back to Domain-Specific Abstractions by Domain
1 domain-specific abstractions whose origin domain is Combinatorial Geometry.
- Mnëv's universality theorem — A theorem showing that realization spaces of oriented matroids can reproduce, up to stable equivalence, arbitrary integer-defined primary semialgebraic sets and therefore arbitrarily complicated topology.