most citedA Method for the Automated Discovery of Angle Theorems

2 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Showing cs.CGShow all

1 paper · 1 filter

cs.CG2024

Theorem Discovery Amongst Cyclic Polygons

Philip Todd

We examine a class of geometric theorems on cyclic 2n-gons. We prove that if we take n disjoint pairs of sides, each pair separated by an even number of polygon sides, then there i…