共 50 条
- [1] Certifying Rings of Integers in Number Fields PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, 2025, : 50 - 66
- [6] Realizability of Two-dimensional Linear Groups over Rings of Integers of Algebraic Number Fields Algebras and Representation Theory, 2011, 14 : 201 - 211
- [9] Relative Galois module structure of rings of integers of absolutely abelian number fields JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2008, 620 : 85 - 103