Conceptcore
Space-filling curve
Also called Peano-type curve, space filling curve.
Continuous surjection from the unit interval onto a higher-dimensional region, used to linearize space.
Continuous surjection from the unit interval onto a higher-dimensional region, used to linearize space.
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 XPW4GF Edit this page History Report an error