共 50 条
- [2] 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
- [3] Matrices as a diagonal quadratic form over rings of integers of certain quadratic number fields LINEAR & MULTILINEAR ALGEBRA, 2024, 72 (12): : 2069 - 2089