Automated Planar Geometry in Wolfram Language
Dan McDonald, Peter Barendse and Xiaofan Zhang
We present updates to the automated geometric functionality of Wolfram Language, including such existing system functions as GeometricScene, RandomInstance and FindGeometricConjectures, as well as such resource/future functions as FindGeometricProof and GeometricSolveValues.
Thanks for your feedback.