We formulate certain numerical problems with stochastic numbers and compare algebraically obtained results with experimental results provided by the CESTAC method. Such comparisons give additional information related to the stochastic behavior of random roundings in the course of numerical computations. The good coincidence between theoretical and… (More)

On the Algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic, In: W. Kraemer et al.(Eds.) Scientific Computing, Validated Numerics