Magazine Science
Le mathématicien chinois Wen-Tsun Wu est né le 12 mai 1919.
Il est le premier à avoir construit une méthode de démonstration automatique de théorèmes de géométrie plane. Sa méthode consiste à convertir un énoncé géométrique en système d'équations polynomiales puis à traiter celui-ci de manière purement algébrique.
On trouve dans le bulletin vert de l'APMEP numéro 421 (mars-avril 1999) un article décrivant cette méthode de façon détaillée.