Computer-aided verification of the Gauss-Bonnet formula for closed surfaces

MaRDI QIDQ2904072zbMATH OpenFDO

Authors Yasuhiko Kamiyama

Publication date 5 August 2012

Published in Ryukyu Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

closed algebraic surfaces of genus \(g\)Gauss-Bonnet formulaGaussian curvature

Mathematics Subject Classification ID

Surfaces in Euclidean and related spaces (53A05) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18)

Review text

The author studies particular closed algebraic surfaces \(X_g\subset\mathbb R^3\) of genus \(g\) which are given by some equations with high symmetry. These surfaces are mapped into subspaces \(Y_{g+1}\subset\mathbb R^4\) which are non-orientable and of genus \(g+1\). \(X_g\) and \(Y_{g+1}\) are equipped with the corresponding Riemannian metrics. Then, for small values \(0 \leq g \leq 8\), the author proves with the help of the computer algebra system \texttt{Mathematica} that the theorem of Gauss-Bonnet is valid for these special surfaces \(Y_{g+1}\).

Recommendations

• scientific article; zbMATH DE number 1757254
• The Gauss-Bonnet formula on surfaces with densities
• scientific article; zbMATH DE number 165874
• The Gauss-Bonnet Theorem for Riemannian Polyhedra
• scientific article; zbMATH DE number 18311

Describes a project that uses

Uses Software

• Mathematica

This page was built for publication: Computer-aided verification of the Gauss-Bonnet formula for closed surfaces

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