TY - RPRT TI - Computer-Assisted Proof of the Main Theorem of 'The Classification of Branched Willmore Spheres in the $3$-Sphere and the $4$-Sphere' AU - Alexis Michelat AU - Tristan Rivière PY - 2019 UR - https://arxiv.org/abs/1711.10441 ID - 1711.10441 ER -