Conceptcore
Paraboloid lifting map
Also called paraboloid lifting, lifting map.
Maps each site (x,y) to (x,y,x^2+y^2); lower convex hull faces project to the Delaunay triangulation.
Maps each site (x,y) to (x,y,x^2+y^2); lower convex hull faces project to the Delaunay triangulation.
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 9TX46V Edit this page History Report an error