A seminar was given by Mr. GAN Wenbin. The title is: “Automatically Solving Plane Geometry Problems”