Circumcenter, circumcircle and centroid of a triangle

DOI10.1515/FORMA-2016-0002zbMath1343.51008OpenAlexW2516393437MaRDI QIDQ306627

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-0002

zbMATH Keywords

Euclidean geometrycircumcirclecircumcentercentroidextended law of sinesperpendicular bisector

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 ⋮ Tarski geometry axioms. II

Uses Software

• Mizar

Cites Work

• Mizar: State-of-the-art and Beyond
• Unnamed Item
• Unnamed Item

This page was built for publication: Circumcenter, circumcircle and centroid of a triangle