Automated Planar Geometry in Wolfram Language

Automated Planar Geometry in Wolfram Language

Explore updates to Wolfram Language's automated geometric functionality in this 29-minute video presentation. Delve into existing system functions like GeometricScene, RandomInstance, and FindGeometricConjectures, while also discovering resource and future functions such as FindGeometricProof and GeometricSolveValues. Gain insights into the latest advancements in automated planar geometry within the Wolfram ecosystem.