Computer-Assisted Proof of the Main Theorem of 'The Classification of Branched Willmore Spheres in the $3$-Sphere and the $4$-Sphere'
Abstract
We provide a computer-assisted proof of the holomorphy of the quartic and the octic meromorphic differentials arising in the main Theorem 4.11 of our paper 'The Classification of Branched Willmore spheres in the $3$-Sphere and the $4$-Sphere' (arXiv:1706.01405), using the free mathematical software Sage.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2017
- DOI:
- arXiv:
- arXiv:1711.10441
- Bibcode:
- 2017arXiv171110441M
- Keywords:
-
- Mathematics - Differential Geometry;
- Mathematics - Analysis of PDEs;
- 35J35;
- 35R01;
- 49Q10;
- 53A05;
- 53A10;
- 53A30;
- 53C42;
- 58E15;
- 68-04
- E-Print:
- 284 pages