Automated Planar Geometry

Dan McDonald, Peter Barendse, Jack Heimrath, Jeremy Stratton-Smith

We present updates to the automated geometric functionality of the Wolfram Language introduced in Version 12, including new functionality for automated geometric reasoning and for creating GeometricScene objects.