Some facts about trigonometry and Euclidean geometry

DOI10.2478/forma-2014-0031zbMath1316.51006OpenAlexW1121397493MaRDI QIDQ2353433

Roland Coghetto

Publication date: 14 July 2015

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2014-0031

zbMATH Keywords

Euclidean geometrycircumcircletrigonometryright-angled

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Elementary problems in Euclidean geometries (51M04)

Related Items (2)

Altitude, orthocenter of a triangle and triangulation ⋮ Morley's trisector theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some facts about trigonometry and Euclidean geometry