Foreign mathematicians: Euclid established Euclidean geometry, which is the geometric system we are studying in middle school now; Descartes solved geometric problems by algebraic means and established analytic geometry;

China mathematician: Zu Chongzhi Zi Zuxuan, who worked out the principle of ancestral graves; Wu Wenjun, a machine proof method for studying geometric problems, is called "Wu Fa" internationally; The software "Z+Z Intelligent Education Platform" developed by Academician Zhang Jingzhong, who is mainly engaged in machine certification, won the gold medal in the Hong Kong International Invention Exhibition in 2000.