Complex_Geometry

swMATH42010MaRDI QIDQ5974752FDOQ5974752

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Complex_Geometry.html

Cited In (3)

• Poincare_Disc
• Formalization of the Poincaré disc model of hyperbolic geometry
• GeoCoq

This page was built for software: Complex_Geometry