Proof — Computational geometry
Statement
Arrangements; motion planning; incidence geometry. Proved in ZFC.
Source
Donald E. Knuth Prize 2025. Arrangements; motion planning; incidence geometry. Proved in ZFC.
Domains
computer-science
Arrangements; motion planning; incidence geometry. Proved in ZFC.
Donald E. Knuth Prize 2025. Arrangements; motion planning; incidence geometry. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/sharir-knuth-2025/