Complex_Geometry

MaRDI QIDQ5974752swMATHFDO

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

Cited in

(3)

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

This page was built for software: Complex_Geometry