人，并在的研究中作了奠基性的工作。该理论最直接的应用就是可判定一些不定积分是否能写成初等函数的形式。里特的学生也在理论的后续发展中做出了不小贡献。此外，他也研究过常微分方程与偏微分方程。他曾提出的“特征集”（characteristic set）概念被吴文俊应用，并在随后发展出了用于机械化求解多元多项式方程组的吴消元法。虽然为后世做出了重要成就，但他并未获得过任何重大奖项。他对此事忿忿不平，认为自己的才华被埋没了。他曾写下如下墓志铭：