A Certified Version of Clark Kimberling's Encyclopedia of Triangle Centers
Legend
- Unverified The property is a conjecture, the property is checked only in some particular triangles
- Verified using CAS We have a script for a CAS to check that the property holds for any triangle (or for a large class of triangles)
- Certified using Coq We have a script for Coq to check that the property holds for any triangle (or for a large class of triangles)
- Generated: 07/09/15
- Number of points sampled: 6069
- Number of facts: 916