共 50 条
- [14] Realizability of Two-dimensional Linear Groups over Rings of Integers of Algebraic Number Fields Algebras and Representation Theory, 2011, 14 : 201 - 211
- [16] 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
- [19] On the difference between the number of prime divisors at consecutive integers Mathematical Notes, 1999, 66 : 474 - 488