Interval Computations: Introduction, Uses, and Resources

Interval Computations: Introduction, Uses, and Resources (1996)

Cached

Download Links

[interval.louisiana.edu]

by R. B. Kearfott

Venue:	Euromath Bulletin
Citations:	29 - 0 self

BibTeX

@ARTICLE{Kearfott96intervalcomputations:,
    author = {R. B. Kearfott},
    title = {Interval Computations: Introduction, Uses, and Resources},
    journal = {Euromath Bulletin},
    year = {1996},
    volume = {2},
    pages = {95--112}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

693	Interval analysis - Moore - 1966
418	Methods and applications of interval analysis - Moore - 1979
413	Interval Methods for Systems of Equations - Neumaier - 1990
401	Global Optimization Using Interval Analysis - Hansen, Walster - 2004
381	Introduction to interval computations - Alefeld, Herzberger - 1983
364	Constraint satisfaction in logic programming - Hentenryck - 1989
269	Rigorous Global Search: Continuous Problems - Kearfott - 1996
124	Interval Analysis for Computer Graphics - Snyder - 1992
119	New Computer Methods for Global Optimization - Ratschek, Rokne - 1988
89	Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach - Hyvonen - 1992
89	Solving Polynomial Systems Using Branch and Prune Approach - Hentenryck, Allester, et al.
62	Computer Methods for the Range of Functions - Ratschek, Rokne - 1988
53	Numerical toolbox for verified computing I - Hammer, Hocks, et al. - 1993
50	C-XSC: A C++ Class Library For Extended Scientific Computing - Klatte, Kulisch, et al. - 1993
44	Einschlieÿung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen - Lohner - 1988
39	Enclosing the solutions of ordinary initial and boundary value problems - Lohner - 1987
33	A computer-assisted proof of the Feigenbaum conjectures - Lanford - 1982
33	Comparison of three curve intersection algorithms - Sederberg, Parry - 1986
32	Interval arithmetic and automatic error analysis in digital computing - Moore - 1962
32	Interval methods for processing geometric objects - Mudur, Koparkar
27	Uber Abbildung von Mannigfaltigkeiten - Brouwer - 1912
26	Theory of interval algebra and its application to numerical analysis - Sunaga - 1958
24	Algorithm 681: INTBIS, a Portable Interval Newton/Bisection Package - Kearfott, Novoa - 1990
20	Do numerical orbits of chaotic dynamical processes represent true orbits - Hammel, Yorke, et al. - 1987
20	Self-Validating Numerics for Function Space Problems - Kaucher, Miranker - 1984
19	Rigorous verification of trajectories for the computer simulation of dynamical systems. Nonlinearity 4: 961–979 - Sauer, Yorke - 1991
18	Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems - Kearfott - 1991
18	Empirical evaluation of innovations in interval branch and bound algorithms for nonlinear systems - Kearfott - 1997
16	Precise numerical analysis - Aberth - 1988
15	GLOPT – A Program for Constrained Global Optimization - Neumaier, Dallwig, et al.
15	Shadowing of physical trajectories in chaotic dynamics: Containment and refinement - Grebogi, Hammel, et al. - 1527
15	Double bubbles minimize - Hass, Schlafly
14	Computer-assisted proofs in analysis and programming in logic: a case study - Koch, Schenkel, et al. - 1996
12	A New Approach to Scientific Computation - Kulisch, Miranker - 1983
12	The wrapping effect, ellipsoid arithmetic, stability and confidence regions, Computing Supplementum 9 - Neumaier - 1993
12	Application of a parallel interval Newton/generalized bisection algorithm to equation-based chemical process flowsheeting, Abstracts for an - Schnepper, Stadtherr - 1993
10	Guaranteed error bounds for ordinary differential equations. In: Theory q/'numerics in ordinary and part ial d!b'rential equations - Corliss - 1995
10	Computer-assisted proofs in analysis - Lanford - 1984
9	Explicit H2--estimates and pointwise bounds for solutions of secondorder elliptic boundary value problems - Plum - 1992
8	Industrial applications of interval techniques - Corliss - 1990
8	Solving large systems of nonlinear constraints with application to data modeling - Hager - 1993
8	Rigorous chaos verification in discrete dynamical systems - Neumaier, Rage - 1993
8	Inclusion methods for elliptic boundary value problems - Plum - 1994
8	Rigorous verification of chaos in a molecular model - Rage, Neumaier, et al. - 1994
7	Adaptive, self-validating numerical quadrature - Corliss, Rall - 1987
7	Newton’s constant of gravitation and verified numerical quadrature, Reliable Computing 2 - Holzmann, Lang, et al. - 1996
7	Fuzzy interval inference utilizing the checklist paradigm and BK-relational products - Kohout, Bandler - 1996
7	Attribute Error and Sensitivity Analysis of Map Operations - Lodwick, Munson, et al. - 1990
7	On the existence and the verified determination of homoclinic and heteroclinic orbits of the origin for the Lorenz system - Spreuer, Adams - 1993
6	a novel approach to solving systems of algebraic equations - UniCalc - 1993