Automated Planar Geometry

This talk features Dan McDonald, Xiaofan Zhang, and Peter Barendse present updates to the automated geometric functionality of the Wolfram Language introduced in Version 12, including the functions GeometricScene, RandomInstance and FindGeometricConjectures, as well as present the Version 12.2 function FindGeometricProof. Given a symbolically described coordinate-free scene in plane geometry, these functions can automatically produce drawings of the scene, conjectures about the scene and human-readable proofs of theorems pertaining to the scene. The presentation also details progress in bringing this functionality to Wolfram|Alpha, as well as creating a website applying the Wolfram Language to Euclid's Elements.

[parmenides]

Soon we will be able to go through all of Euclids elements with Mathematica! Pappus next!

[DouglasKubler]

Instead of a random entry how do I get a (clickable ?) list of Geometric Scenes to choose from?