Some facts about trigonometry and Euclidean geometry

DOI10.2478/FORMA-2014-0031MaRDI QIDQ2353433zbMATH OpenOpenAlexFDO

Authors Roland Coghetto

Publication date 14 July 2015

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

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

zbMATH Keywords

circumcircleEuclidean geometryright-angledtrigonometry

Mathematics Subject Classification ID

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

Recommendations

• Some notes on Euclidean geometry
• Trigonometry. A very short introduction
• Trigonometries

Cited in

(5)

• Thomas Fincke and the \textit{Geometria rotundi}
• Stereographic trigonometric identities
• Altitude, orthocenter of a triangle and triangulation
• Disentangling a triangle
• Morley's trisector theorem

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2353433)