Diophantine equation
1973年にヒルベルトの23の問題の第10問題（ディオファントス方程式の可解性の決定問題）を部分的に解決したが、廣瀬とは独立にユーリ・マチャセビッチによる証明が先に公表されたため、最初の証明者とはならなかった。