Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. In Moreno Falaschi, editor, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Volume 9527 of Lecture Notes in Computer Science, pages 143-160, Springer, 2015. [doi]

Authors

Nasrine Damouche

This author has not been identified. Look up 'Nasrine Damouche' in Google

Matthieu Martel

This author has not been identified. It may be one of the following persons: Look up 'Matthieu Martel' in Google

Alexandre Chapoutot

This author has not been identified. Look up 'Alexandre Chapoutot' in Google