共 50 条
- [31] A comparison of three rounding algorithms for IEEE floating-point multiplication 14TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 1999, : 225 - 232
- [36] Tunable Floating-Point for Embedded Machine Learning Algorithms Implementation 15TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD 2018), 2018, : 89 - 92
- [37] Flocq: A Unified Library for Proving Floating-point Algorithms in Coq 2011 20TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC (ARITH-20), 2011, : 243 - 252