Results 1  10
of
11
Arbitrary Precision Real Arithmetic: Design and Algorithms
, 1996
"... this article the second representation mentioned above. We first recall the main properties of computable real numbers. We deduce from one definition, among the three definitions of this notion, a representation of these numbers as sequence of finite Badic numbers and then we describe algorithms fo ..."
Abstract

Cited by 19 (0 self)
 Add to MetaCart
this article the second representation mentioned above. We first recall the main properties of computable real numbers. We deduce from one definition, among the three definitions of this notion, a representation of these numbers as sequence of finite Badic numbers and then we describe algorithms for rational operations and transcendental functions for this representation. Finally we describe briefly the prototype written in Caml. 2. Computable real numbers
Consistency Techniques in Ordinary Differential Equations
, 2000
"... This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accuracy problems typically exhibited by these methods, while trying to preserve their efficiency. It proposes to generalize interval t ..."
Abstract

Cited by 17 (1 self)
 Add to MetaCart
This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accuracy problems typically exhibited by these methods, while trying to preserve their efficiency. It proposes to generalize interval techniques intoatwostep process: a forward process that computes an enclosure and a backward process that reduces this enclosure. Consistency techniques apply naturally to the backward (pruning) step but can also be applied to the forward phase. The paper describes the framework, studies the various steps in detail, proposes a number of novel techniques, and gives some preliminary experimental results to indicate the potential of this new research avenue.
Guaranteed Error Bounds for Ordinary Differential Equations
 In Theory of Numerics in Ordinary and Partial Differential Equations
, 1994
"... Hamming once said, "The purpose of computing is insight, not numbers." If that is so, then the speed of our computers should be measured in insights per year, not operations per second. One key insight we wish from nearly all computing in engineering and scientific applications is, "How accurate is ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
Hamming once said, "The purpose of computing is insight, not numbers." If that is so, then the speed of our computers should be measured in insights per year, not operations per second. One key insight we wish from nearly all computing in engineering and scientific applications is, "How accurate is the answer?" Standard numerical analysis has developed techniques of forward and backward error analysis to help provide this insight, but even the best codes for computing approximate answers can be fooled. In contrast, validated computation ffl checks that the hypotheses of appropriate existence and uniqueness theorems are satisfied, ffl uses interval arithmetic with directed rounding to capture truncation and rounding errors in computation, and ffl organizes the computations to obtain as tight an enclosure of the answer as possible. These notes for a series of lectures at the VIth SERC Numerical Analysis Summer School, Leicester University, apply the principles of validated computatio...
InC++ Library Family for Interval Computations
 INTERNATIONAL JOURNAL OF RELIABLE COMPUTING. SUPPLEMENT TO THE INTERNATIONAL WORKSHOP ON APPLICATIONS OF INTERVAL COMPUTATIONS
, 1995
"... This paper presents a series of C++ libraries for interval function evaluation and constraint satisfaction. Classical interval arithmetic (IA) (Moore, 1966) is extended by open ended intervals, the notion of infinity and by "complement" and discontinuous intervals. Both algebraic and numerical IA te ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
This paper presents a series of C++ libraries for interval function evaluation and constraint satisfaction. Classical interval arithmetic (IA) (Moore, 1966) is extended by open ended intervals, the notion of infinity and by "complement" and discontinuous intervals. Both algebraic and numerical IA techniques are combined for obtaining the actual range of interval functions efficiently and for determining better than local solutions for interval constraint satisfaction problems. Our practical goal is a set of portable C++ libraries that can be used in applications without deep understanding of interval analysis.
A shooting approach to the Lorenz equations
 MR 93f:58150
"... Abstract. We announce and outline a proof of the existence of a homoclinic orbit of the Lorenz equations. In addition, we develop a shooting technique and two key conditions, which lead to the existence of a onetoone correspondence between a set of solutions and the set of all infinite sequences o ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
Abstract. We announce and outline a proof of the existence of a homoclinic orbit of the Lorenz equations. In addition, we develop a shooting technique and two key conditions, which lead to the existence of a onetoone correspondence between a set of solutions and the set of all infinite sequences of 1’s and 3’s. 1.
Interval Computations On The Spreadsheet
 Applications of Interval Computations
, 1996
"... This paper reviews work on using interval arithmetic as the basis for next generation spreadsheet programs capable of dealing with rounding errors, imprecise data, and numerical constraints. A series of ever more versatile computational models for spreadsheets are presented beginning from classical ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
This paper reviews work on using interval arithmetic as the basis for next generation spreadsheet programs capable of dealing with rounding errors, imprecise data, and numerical constraints. A series of ever more versatile computational models for spreadsheets are presented beginning from classical interval arithmetic and ending up with interval constraint satisfaction. In order to demonstrate the ideas, an actual implementation of each model as a class library is presented and its integration with a commercial spreadsheet program is explained. 1 LIMITATIONS OF SPREADSHEET COMPUTING Spreadsheet programs, such as MS Excel, Quattro Pro, Lotus 123, etc., are among the most widely used applications of computer science. Since the pioneering days of VisiCalc and others, spreadsheet programs have been enhanced immensely with new features. However, the underlying computational paradigm of evaluating arithmetical functions by using ordinary machine arithmetic has remained the same. The wor...
The constructive reals as a Java Library
 J. Log. Algebr. Program
, 2004
"... We describe an implementation of the computable (or constructive) real numbers as a pure Java library. To the user, the library interface appears very similar to that of some other numeric types provided by the standard Java library. The primary goal of the implementation is simplicity, so that the ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
We describe an implementation of the computable (or constructive) real numbers as a pure Java library. To the user, the library interface appears very similar to that of some other numeric types provided by the standard Java library. The primary goal of the implementation is simplicity, so that the implementation could be easily understood, and to allow simple informal correctness arguments. We hope to demonstrate that even such a basic implementation of constructive real arithmetic can be useful in a number of contexts, including in a desk calculator utility distributed with the package. A secondary goal was to demonstrate that some secondorder functions on the reals, such as restricted inverse and derivative operations, can be implemented with su#cient performance to be useful.
A Deterministic Descartes Algorithm for Real Polynomials
, 2008
"... We describe a Descartes algorithm for root isolation of polynomials with real coefficients. It is assumed that the coefficients of the polynomial can be approximated with arbitrary precision; exact computation in the field of coefficients is not required. We refer to such coefficients as bitstream c ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We describe a Descartes algorithm for root isolation of polynomials with real coefficients. It is assumed that the coefficients of the polynomial can be approximated with arbitrary precision; exact computation in the field of coefficients is not required. We refer to such coefficients as bitstream coefficients. The algorithm is deterministic and has almost the same asymptotic complexity as the randomized bitstreamDescartes algorithm of Eigenwillig et al. (2005). Besides being deterministic, the algorithm is also somewhat simpler to analyze.
Automatic Differentiation Bibliography
 Automatic Differentiation of Algorithms: Theory, Implementation, and Application
, 1992
"... This report is produced by the file all_cite.rex ..."