Is there a software that creates conjectures about possible theorems in Euclidean geometry?
Something like the following "algorithm":
- Start with three points and add lines, circles, intersections etc. randomly.
- Look for "coincidences", e.g. three lines through a point, three points on a line or circle etc.
- Test the coincidences by repeating the same construction with other, randomly chosen starting points.
- Try to rule out trivial coincidences.
- Present the coincidence as "conjecture"