Altitude, orthocenter of a triangle and triangulation

DOI10.1515/forma-2016-0003zbMath1343.51009OpenAlexW2507123699MaRDI QIDQ306628

Roland Coghetto

Publication date: 1 September 2016

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

Full work available at URL: https://doi.org/10.1515/forma-2016-0003

zbMATH Keywords

triangulationdistanceEuclidean geometrytrigonometryorthocenteraltitude

Mathematics Subject Classification ID

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

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Circumcenter, circumcircle and centroid of a triangle
• Morley's trisector theorem
• Some facts about trigonometry and Euclidean geometry
• Routh’s, Menelaus’ and Generalized Ceva’s Theorems
• Mizar: State-of-the-art and Beyond

This page was built for publication: Altitude, orthocenter of a triangle and triangulation