-
arXiv:1702.00077 [pdf, ps, other]
A note on "The Cartan-Hadamard conjecture and the Little Prince"
Abstract: We provide elementary proofs of Lemmas 7.1 and 7.4 appearing in "The Cartan-Hadamard conjecture and the Little Prince", by B. Kloeckner and G. Kuperberg. The Lemmas play an important role in the derivation of novel isoperimetric inequalities. The original proofs relied on Sage, a symbolic algebra package, to factor certain algebraic varieties into irreducible components.
Submitted 31 January, 2017; originally announced February 2017.
Comments: 3 pages