Complex_Geometry

swMATH42010MaRDI QIDQ5974752FDOQ5974752

Author name not available (Why is that?)

Cited In (1)

• Formalization of the Poincaré disc model of hyperbolic geometry

This page was built for software: Complex_Geometry