FindGeometricConjectures

FindGeometricConjectures[scene] finds conjectures that appear to hold for the GeometricScene object scene and adds these conjectures to the scene object.

FindGeometricConjectures[{scene1,scene2,…}] finds conjectures that appear to hold for all instances scenei of a geometric scene and returns a combined scene with the conjectures added.

FindGeometricConjectures[scenes,patt] adds only conjectures that match the pattern patt.

FindGeometricConjectures[scenes,patt,n] adds only up to n conjectures.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.