Abstrakt
Wu Wen-Tsun je čínský algebraický topolog, který od 70. let 20. st. vyvíjí automatické dokazování vět a "mechanizaci matematiky", přičemž zdůrazňuje vliv tradiční čínské matematiky na svou práci. Tento důraz na inspiraci mu sloužil jako způsob jak získat zdroje pro nezávislý rozvoj čínské matematiky v relativní mezinárodní izolaci a pod ustavičným tlakem na praktickou orientaci výzkumu.