共 50 条
- [3] Axiomatic justification of Hensel's p-adic numbers JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1912, 141 (1/4): : 43 - 76
- [9] 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