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

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}\).