flatsurf / sage-flatsurf

Flat surfaces in Sage
https://flatsurf.github.io/sage-flatsurf/
GNU General Public License v2.0
10 stars 10 forks source link

Constructive Alexandrov theorem (Babenko) #273

Open videlec opened 4 months ago

videlec commented 4 months ago

Given a flat sphere with convex cone singularities ($\le 2\pi$) there is a unique way to embed it in $\mathbb{R}^3$ as the surface of a polytope. A constructive proof is given in Bobenko-Izmestiev.