Complex_Geometry

MaRDI QIDQ5974752swMATHFDO

Authors Filip Marić, Danijela Simić

Publication date 16 December 2019

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

Cites work

• Formalizing Hilbert's Grundlagen in Isabelle/Isar
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Mechanical Theorem Proving in Tarski’s Geometry
• The axioms of constructive geometry
• Theorem Proving in Higher Order Logics
• Without Loss of Generality

Cited in

(3)

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

This page was built for software: Complex_Geometry