Poincare_Disc

MaRDI QIDQ5973402swMATHFDO

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

Cited in

(3)

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

This page was built for software: Poincare_Disc