Automated Planar Geometry
Dan McDonald, Xiaofan Zhang, Peter Barendse
This talk features updates to the automated geometric functionality of Wolfram Language including features new in Version 12.2. Presenters also discuss bringing this functionality to Wolfram|Alpha and creating a website applying Wolfram Language to Euclid's Elements.
Thanks for your feedback.