Circumcenter, circumcircle and centroid of a triangle
type: Item
instance of: scholarly article
title: Circumcenter, circumcircle and centroid of a triangle
zbMATH Open document ID: 1343.51008
author: Roland Coghetto
published in: Formalized Mathematics
publication date: 2016-09-01T00:00:00Z
Mathematics Subject Classification ID: 51M04
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6621163
zbMATH Keywords: Euclidean geometry
zbMATH Keywords: perpendicular bisector
zbMATH Keywords: circumcenter
zbMATH Keywords: circumcircle
zbMATH Keywords: centroid
zbMATH Keywords: extended law of sines
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2016-0002
OpenAlex ID: W2516393437
cites work: Mizar: State-of-the-art and Beyond
cites work: Q5550848
cites work: Q4485800
DOI: 10.1515/FORMA-2016-0002
description: scientific article; zbMATH DE number 6621163