共 50 条
- [21] On p-adic Expansions of Algebraic Integers PROCEEDINGS OF THE 2015 ACM ON INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'15), 2015, : 109 - 116
- [24] 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
- [25] On Certain Probabilistic Properties of Polynomials over the Ring of p-adic Integers AMERICAN MATHEMATICAL MONTHLY, 2020, 127 (06): : 519 - 529