See this document in CiteSeerX!

Self-Validated Numerical Methods  (Make Corrections)  
and Applications Instituto de Computac~ao, Universidade Estadual de Campinas...



  Home/Search   Context   Related

 
View or download:
ic.unicamp.br/~sto...valnumbook.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ic.unicamp.br/~stolfi/EXPORT/p... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: e je n'ai pas eu le loisir de la faire plus courte." ---Blaise Pascal, Lettres Provinciales, XVI (1657). ii Acknowledgements We thank the Organizing Committee of the 21 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... (Update)

Similar documents (at the sentence level):
5.8%:   Affine Arithmetic and its Applications to Computer Graphics - Comba, Stolfi (1993)   (Correct)
5.5%:   Affine Arithmetic - Draft Marcus Vinicius   (Correct)

Active bibliography (related documents):   More   All
3.0:   An Introduction to Affine Arithmetic - Stolfi, de Figueiredo (2003)   (Correct)
1.0:   O conte'udo do presente relat'orio 'e de 'unica.. - The Contents Of   (Correct)
0.9:   Literature on Enclosure Methods and Related Topics - Gerd Bohlender (1996)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ instituto-selfvalidated,
  author = "And Applications Instituto",
  title = "Self-Validated Numerical Methods",
  url = "citeseer.ist.psu.edu/763164.html" }
Citations (may not include all citations):
476   Programming Language (context) - Kernighan, Ritchie - 1978
384   Interval Analysis (context) - Moore - 1966
262   Global Optimization using Interval Analysis (context) - Hansen - 1988
230   Handbook of mathematical functions with formulas (context) - Abramowitz, Stegun - 1992
207   Interval Methods for Systems of Equations (context) - Neumaier - 1990
204   Methods and Applications of Interval Analysis (context) - Moore - 1979
160   Rigorous Global Search: Continuous Problems (context) - Kearfott - 1996
133   IEEE Standard for Binary Floating-Point Arithmetic (context) - IEEE, IEEE et al. - 1985
133   New Computer Methods for Global Optimization (context) - Ratschek, Rokne - 1988
119   What every computer scientist should know about floating-poi.. - Goldberg - 1991
117   Rounding errors in algebraic processes (context) - Wilkinson - 1963
77   Interval analysis for computer graphics - Snyder - 1992
63   Computer Methods for the Range of Functions (context) - Ratschek, Rokne - 1984
61   Global Optimization (context) - Horst, Tuy - 1990
58   Interval arithmetic and recursive subdivision for implicit f.. (context) - Duff - 1992
50   Computer Aided Geometric Design (context) - Barnhill, Farin et al. - 1987
42   Geometric and Solid Modeling: An Introduction (context) - Hoffmann - 1989
39   Algorithms for polynomials in Bernstein form (context) - Farouki, Rajan - 1988
36   Global optimization using interval analysis --- the multidim.. (context) - Hansen - 1980
28   A generalized interval arithmetic (context) - Hansen - 1975
28   Interval methods in computer graphics (context) - Suffern, Fackerell - 1991
25   Surface algorithms using bounds on derivatives (context) - Filip, Magedson et al. - 1986
24   Robust ray intersection with interval arithmetic (context) - Mitchell - 1990
22   Interval methods for processing geometric objects (context) - Mudur, Koparkar - 1984
20   Rigorous methods for global optimization (context) - Moore, Hansen et al. - 1992
18   Affine arithmetic and its applications to computer graphics - Comba, Stolfi - 1993
17   Box-splitting strategies for the interval Gauss-Seidel step .. - Ratz - 1994
16   BIAS --- basic interval arithmetic subroutines (context) - Knuppel - 1993
16   What can interval analysis do for global optimization (context) - Ratschek, Voller - 1991
14   Global optimization using interval analysis --- the onedimen.. (context) - Hansen - 1979
13   IEEE Computer Graphics and Applications (context) - Taubin, curves - 1994
13   Adaptive enumeration of implicit surfaces with affine arithm.. - de Figueiredo, Stolfi - 1996
13   An interval branch and bound algorithm for bound constrained.. - Kearfott - 1992
13   An interval arithmetic method for global optimization (context) - Ichida, Fujii - 1979
12   Algorithms for verified inclusions: theory and practice (context) - Rump - 1988
12   Surfaces in computer-aided geometric design: A survey with n.. (context) - Barnhill - 1985
11   Surface intersection using affine arithmetic - de Figueiredo - 1996
11   An interval refinement technique for surface intersection (context) - Gleicher, Kass - 1992
11   Ray tracing general parametric surfaces using interval arith.. (context) - Barth, Lieger et al. - 1994
10   Graphing equations with generalized interval arithmetic (context) - Tupper - 1996
9   PROFIL --- programmer's runtime optimized fast interval libr.. (context) - Knuppel - 1993
8   Quadtree algorithms for contouring functions of two variable.. (context) - Suffern - 1990
7   Local robustness and its applications to polyhedral intersec.. (context) - Stewart - 1994
5   Interval Newtongeneralized bisection when there are singular.. (context) - Newton, when et al. - 1990
5   An Improved Unconstrained Global Optimization Algorithm - van Iwaarden - 1996
4   Scientific computation with automatic result verification (context) - Kulisch, Stetter - 1988
3   Algorithm 763: INTERVAL ARITHMETIC --- a Fortran 90 module f.. (context) - Kearfott - 1996
3   Handbook of Applied Mathematics: Selected Results and Methdo.. (context) - Pearson - 1983
2   Ellipsoidal calculus for uncertain dynamics (context) - Kurzhanski - 1994
2   Fast interval branch-and-bound methods for unconstrained glo.. - de Figueiredo, Van Iwaarden et al. - 1997
2   Method of ellipsoids: Guaranteed estimation in dynamical sys.. (context) - Chernousko, Ovseevich - 1994
2   Inclusion methods for real and complex functions in one vari.. (context) - Cl'audio, Rump - 1995
2   Electronic Research Announcements of the American Mathematic.. (context) - Hass, Hutchings et al. - 1995
1   Department of Computer Science III (context) - Knuppel, Simenec et al. - 1993
1   Ecole des Mines de St-Etienne (context) - Michelucci, Moreau et al. - 1995
1   Avaliable at http://www (context) - Stolfi, An et al. - 1993
1   Ancient Babylonian algorithms (context) - Knuth - 1972
1   Studies in the History of Mathematics and Physical Sciences (context) - Neugebauer, of et al. - 1975
1   volume 90 of Mathematical Research (context) - Alefeld, Frommer et al. - 1996
http://www.geom.umn.edu/software/
http://cs.utep.edu/interval-comp/main.html
http://www.fhi-berlin.mpg.de/grz/pub/xfarbe

Documents on the same site (http://www.ic.unicamp.br/~stolfi/EXPORT/papers/affine-arith/):   More
Adaptive Enumeration of Implicit Surfaces with Affine.. - de Figueiredo, Stolfi (1996)   (Correct)
Surface Intersection Using Affine Arithmetic - de Figueiredo (1996)   (Correct)
Adaptive Enumeration of Implicit Surfaces with Affine.. - de Figueiredo, Stolfi (1996)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC