Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic

This publication has 7 references indexed in Scilit:

• CADNA: a library for estimating round-off error propagation
  Computer Physics Communications, 2008
• Accurate Sum and Dot Product
  SIAM Journal on Scientific Computing, 2005
• Discrete Stochastic Arithmetic for Validating Results of Numerical Software
  Numerical Algorithms, 2004
• Handling floating-point exceptions in numeric programs
  ACM Transactions on Programming Languages and Systems, 1996
• A stochastic arithmetic for reliable scientific computation
  Mathematics and Computers in Simulation, 1993
• A floating-point technique for extending the available precision
  Numerische Mathematik, 1971
• Pracniques: further remarks on reducing truncation errors
  Communications of the ACM, 1965