示嵌类”、吴消元法至今仍被国际同行广泛引用。
生平.1940年毕业于交通大学，随后在一所中学任教。1945年在浙江之江大学任教。1946年，陈省身将他招入中央研究院数学所，指导他进行拓扑学研究。1947年赴法求学，1949年获得法国斯特拉斯堡大学博士学位。1951年返回中国大陆，被聘为北京大学数学系教授。1952年，任中国科学院数学所研究员。1980年，调往中国科学院系统科学研究所。1998年，转入新成立的中国科学院数学与系统科学研究院。从1946年到1951年，主要从事施蒂费