Wu Wen-Tsun

ANALYSE
ELEMENTS DE BIOGRAPHIE

Mathématicien chinois né en 1919.
Il est venu en France à partir de 1947 dans la cadre d’un programme d’échange franco-chinois, et a travaillé avec Ehresmann et Henri Cartan avant de retourner en Chine en 1951.
Ses travaux portent notamment sur les espaces fibrés et les variétés fibrées.
Familier avec l’approche chinoise des mathématiques (plus algorithmique ) et l’approche occidentale (plus axiomatique ), il a construit une méthode de démonstration automatique de théorèmes de géométrie plane, qui consiste à traduire un énoncé géométrique en système d’équations polynomiales, c’est ce qui est détaillé dans l’article cité ci-dessous, publié à l’APMEP.
En 1984 il a publié Mechanical theorem proving in geometries.