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

From MaRDI portal





scientific article from arXiv
Language Label Description Also known as
English
Computationally-assisted proof of a novel $\mathsf{O}(3)\times \mathsf{O}(10)$-invariant Einstein metric on $S^{12}$
scientific article from arXiv

    Statements

    math.DG
    0 references
    2024
    0 references
    0 references
    0 references

    Identifiers

    0 references