共 50 条
- [6] Realizability of Two-dimensional Linear Groups over Rings of Integers of Algebraic Number Fields Algebras and Representation Theory, 2011, 14 : 201 - 211
- [7] On the existence of finite Galois stable groups over integers in unramified extensions of number fields PUBLICATIONES MATHEMATICAE-DEBRECEN, 2002, 60 (1-2): : 179 - 191
- [8] 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