GeometricScene in Olympiad Geometry

Shenghui Yang

This talk from Shenghui Yang demonstrates how to use Wolfram Language functions to help us understand the idea behind the construction proof. Good visualization is critical to help focus on the important part in a complicated GeometricScene. He also shows the proper use of HatchFilling to highlight the featured area to outline pivot steps. ​Shenghui's Olympiad Euclidean geometry hobby and the Wolfram Language merge perfectly together.