Abstract
Wu Wen-Tsun is a Chinese algebraic topologist, who has since the 1970s developed automated theorem proving and "mechanisation of mathematics", emphasising the influence of traditional Chinese mathematics on his work. This emphasis served him as a way of generating resources for the independent development of mathematics in relative isolation and under relentless pressure for practical research orientation.