Circumcenter, Circumcircle and Centroid of a Triangle

Roland Coghetto. Circumcenter, Circumcircle and Centroid of a Triangle. Formalized Mathematics, 24(1):17-26, 2016. [doi]

Abstract

Abstract is missing.