Complex Geometry

MaRDI QIDQ7361828FDO

Authors Filip Marić, Danijela Simić

Publication date 16 December 2019

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)

• Morley's Theorem
• Poincaré Disc Model
• Solving Cubic and Quartic Equations

This page was built for software: Complex Geometry