Computationally-assisted proof of a novel \mathsf{O}(3)\times \mathsf{O}(10)-invariant Einstein metric on S^{12}

MaRDI QIDQ6756096arXivFDO

Authors Timothy Buttsworth, Liam Hodgkinson

Publication date 2024

Published in arXiv

arXiv classification

math.DG

This page was built for publication: Computationally-assisted proof of a novel $\mathsf{O}(3)\times \mathsf{O}(10)$-invariant Einstein metric on $S^{12}$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6756096)