Abstract | ||
---|---|---|
Triangle centers such as the center of gravity, the circumcenter, the orthocenter are well studied by geometers. Recently, under the guidance of Clark Kimberling, an electronic encyclopedia of triangle centers (ETC) has been developed, it contains more than 7000 centers and many properties of these points. In this paper, we describe how we created a certified version of ETC such that some of the properties described come along with a computer checked proof of its validity. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/s11786-016-0254-4 | Mathematics in Computer Science |
Keywords | Field | DocType |
Triangle centers, Geometry, Formal proof, Proof assistant, Coq | Discrete mathematics,Triangle center,Altitude (triangle),Pure mathematics,Encyclopedia,Certification,Calculus,Mathematics,Formal proof,Proof assistant,Center of gravity | Journal |
Volume | Issue | ISSN |
10 | 1 | 1661-8270 |
Citations | PageRank | References |
2 | 0.37 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Julien Narboux | 1 | 130 | 12.49 |
david braun | 2 | 56 | 6.31 |