Automated Planar Geometry
Peter Barendse, Daniel McDonald, Jack Heimrath and Xiaofan Zhang
We present updates to the automated geometric functionality of the Wolfram Language introduced in Version 12 and display new functionality for automated geometric reasoning.
Thanks for your feedback.