Poincare_Disc

MaRDI QIDQ5973402swMATHFDO

Authors Danijela Simić, Filip Marić, Pierre Boutry

Publication date 16 December 2019

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

Cites work

• Formalizing complex plane geometry
• Unnamed Publication
• Unnamed Publication
• Klein-Beltrami model. I
• Klein-Beltrami model. II

Cited in

(3)

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

This page was built for software: Poincare_Disc