Magazine Science

Wen-Tsun Wu

Publié le 12 mai 2008 par Bruno K.

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.

Retour à La Une de Logo Paperblog

A propos de l’auteur


Bruno K. 145 partages Voir son profil
Voir son blog

l'auteur n'a pas encore renseigné son compte l'auteur n'a pas encore renseigné son compte