SAARA/ Publications/ Robustness and randomness in reliable implementation of real number algorithms : theory and practise/ Robustness and randomness in reliable implementation of real number algorithms : theory and practise