Poincare_Disc

swMATH42011MaRDI QIDQ5973402FDOQ5973402

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: Poincare_Disc