Search results
From MaRDI portal
- powers in floating-point arithmetic 2017-05-19 Paper Comparison between Binary and Decimal Floating-Point Numbers 2017-05-16 Paper Arithmetic Algorithms...10 bytes (18 words) - 11:26, 11 December 2023
- Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries 2010-09-14 Paper Handbook of Floating-Point Arithmetic 2009-05-26 Paper Numerical...10 bytes (16 words) - 17:26, 13 December 2023
- Correctly Rounded Arbitrary-Precision Floating-Point Summation 2018-06-27 Paper Handbook of Floating-Point Arithmetic 2018-04-04 Paper An Efficient Rounding...10 bytes (17 words) - 11:50, 6 October 2023
- with Fast Matrix Arithmetic 2019-12-09 Paper Handbook of Floating-Point Arithmetic 2018-04-04 Paper On relative errors of floating-point operations: Optimal...10 bytes (18 words) - 08:08, 7 October 2023
- Type Handbook of Floating-Point Arithmetic 2018-04-04 Paper On Ziv's rounding test 2014-09-12 Paper Handbook of Floating-Point Arithmetic 2009-05-26 Paper...10 bytes (16 words) - 15:07, 6 October 2023
- Verification methods: Rigorous results using floating-point arithmetic 2012-06-11 Paper Fast algorithms for floating-point interval matrix multiplication 2012-04-24...10 bytes (19 words) - 11:44, 8 December 2023
- of Publication Type Enabling floating-point arithmetic in the Coq proof assistant 2023-10-24 Paper Floating-point arithmetic 2023-09-12 Paper A strong call-by-need...10 bytes (16 words) - 10:44, 7 October 2023
- polynomials in floating-point arithmetic 2019-06-27 Paper Evaluation of Chebyshev polynomials by a three-term recurrence in floating-point arithmetic 2018-06-26...10 bytes (16 words) - 12:19, 6 October 2023
- Constants 2018-06-27 Paper Handbook of Floating-Point Arithmetic 2018-04-04 Paper Certifying the Floating-Point Implementation of an Elementary Function...10 bytes (18 words) - 15:07, 6 October 2023
- of Double-Word Arithmetic 2018-08-17 Paper Handbook of Floating-Point Arithmetic 2018-04-04 Paper Formal verification of a floating-point expansion renormalization...10 bytes (16 words) - 13:45, 12 December 2023
- function in IEEE floating-point arithmetic 1998-08-18 Paper Table-driven implementation of the exponential function in IEEE floating-point arithmetic 1998-03-18...10 bytes (20 words) - 15:32, 24 September 2023
- Evaluation of Legendre polynomials by a three-term recurrence in floating-point arithmetic 2021-03-31 Paper Concentration estimates for band-limited spherical...10 bytes (16 words) - 17:07, 6 October 2023
- correctly rounded integer powers in floating-point arithmetic 2017-05-19 Paper Error bounds on complex floating-point multiplication with an FMA 2017-01-04...10 bytes (16 words) - 17:21, 6 October 2023
- integer powers by iterated multiplications in floating-point arithmetic 2015-11-17 Paper Stochastic arithmetic in multiprecision 2013-05-16 Paper Accurate...10 bytes (16 words) - 09:12, 25 September 2023
- Publication Date of Publication Type Analysis of Rounding Methods in Floating-Point Arithmetic 1977-01-01 Paper...10 bytes (20 words) - 01:56, 28 December 2023
- Publication Date of Publication Type Floating-point arithmetic with 84-bit numbers 1964-01-01 Paper...10 bytes (18 words) - 22:27, 26 December 2023
- Publication Date of Publication Type Handbook of Floating-Point Arithmetic 2018-04-04 Paper...10 bytes (16 words) - 00:51, 28 December 2023
- Algorithm 722: Functions to support the IEEE standard for binary floating-point arithmetic 1998-01-26 Paper...10 bytes (18 words) - 01:29, 28 December 2023
- Publication Date of Publication Type Numerical investigation of floating-point arithmetic 1997-05-13 Paper...10 bytes (18 words) - 20:38, 24 September 2023
- Publication Date of Publication Type Numerical investigation of floating-point arithmetic 1997-05-13 Paper...10 bytes (18 words) - 20:38, 24 September 2023