Wolfram Screencast & Video Gallery

This page requires that JavaScript be enabled in your browser.
Learn how »

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.

Was this video helpful?

Channels: Technology Conference

SORT BY: Latest | A-Z
948 videos match your search.