程。他曾提出的“特征集”（characteristic set）概念被吴文俊应用，并在随后发展出了用于机械化求解多元多项式方程组的吴消元法。虽然为后世做出了重要成就，但他并未获得过任何重大奖项。他对此事忿忿不平，认为自己的才华被埋没了。他曾写下如下墓志铭：