共 50 条
- [43] GENERATORS OF ORTHOGONAL GROUPS OVER VALUATION RINGS [J]. CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1981, 33 (01): : 116 - 128
- [49] MIXED MODULES OVER INCOMPLETE DISCRETE VALUATION RINGS [J]. COMMUNICATIONS IN ALGEBRA, 1993, 21 (11) : 4103 - 4113
- [50] A Formalization of Complete Discrete Valuation Rings and Local Fields [J]. PROCEEDINGS OF THE 13TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2024, 2024, : 190 - 204