共 50 条
- [24] On Certain Probabilistic Properties of Polynomials over the Ring of p-adic Integers AMERICAN MATHEMATICAL MONTHLY, 2020, 127 (06): : 519 - 529
- [25] A Formal Proof of Hensel's Lemma over the p-adic Integers PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP' 19), 2019, : 15 - 26