Theoremadvanced
Separating axis theorem
Also called sat.
Two convex shapes are disjoint exactly when some axis from their edge normals separates their projections.
Two convex shapes are disjoint exactly when some axis from their edge normals separates their projections.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag NQ2MTE Edit this page History Report an error