Wu, Wen-tsün.

• Mathematics mechanization
• Mechanical theorem proving in geometries
• Rational homotopy type
• Selected works of Wen-tsun Wu
• A theory of imbedding, immersion, and isotopy of polytopes in a Euclidean space
• Sur les espaces fibres et les variétés feuilletées
• Sur les espaces fibrês et les variétés feuilletêes