Self-Validated Numerical Methods and Applications (1997)
| Citations: | 40 - 0 self |
BibTeX
@MISC{Stolfi97self-validatednumerical,
author = {Jorge Stolfi and Luiz Henrique De Figueiredo},
title = {Self-Validated Numerical Methods and Applications},
year = {1997}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
erical methods. We apologize to the reader for the length and verbosity of these notes but, like Pascal, 1 we didn't have the time to make them shorter. 1 "Je n'ai fait celle-ci plus longue que parce que je n'ai pas eu le loisir de la faire plus courte." ---Blaise Pascal, Lettres Provinciales, XVI (1657). i ii Acknowledgements We thank the Organizing Committee of the 21 st Brazilian Mathematics Colloquium for the opportunity to present this course. We wish to thank Jo~ao Comba, who helped implement a prototype affine arithmetic package in Modula-3, and Marcus Vinicius Andrade, who helped debug the C version and wrote an implicit surface ray-tracer based on it. Ronald van Iwaarden contributed an independent implementation of AA, and investigated its performance on branch-and-bound global optimization algorithms. Douglas Priest and Helmut Jarausch provided code and advice for rounding mode control. W
Keyphrases
self-validated numerical method marcus vinicius andrade blaise pascal st brazilian mathematics colloquium ronald van iwaarden ai pa eu le loisir helmut jarausch branch-and-bound global optimization algorithm mode control lettres provinciales organizing committee longue que parce que je implicit surface ray-tracer jo ao comba ai fait erical method douglas priest independent implementation ii acknowledgement prototype affine arithmetic package
