共 50 条
- [31] Floating-point LLL revisited ADVANCES IN CRYPTOLOGY - EUROCRYPT 2005,PROCEEDINGS, 2005, 3494 : 215 - 233
- [32] Termination of Floating-Point Computations Journal of Automated Reasoning, 2005, 34 : 141 - 177
- [35] A decimal floating-point specification ARITH-15 2001: 15TH SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 2001, : 147 - 154