David Y. Y. Yun

• The Hensel lemma in algebraic manipulation