Altitude, Orthocenter of a Triangle and Triangulation

Roland Coghetto. Altitude, Orthocenter of a Triangle and Triangulation. Formalized Mathematics, 24(1):27-36, 2016. [doi]

Abstract

Abstract is missing.