Results 1  10
of
30
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
 Bulletin of Symbolic Logic
, 1997
"... We present a survey of the recent applications of continuous domains for providing simple computational models for classical spaces in mathematics including the real line, countably based locally compact spaces, complete separable metric spaces, separable Banach spaces and spaces of probability dist ..."
Abstract

Cited by 48 (10 self)
 Add to MetaCart
We present a survey of the recent applications of continuous domains for providing simple computational models for classical spaces in mathematics including the real line, countably based locally compact spaces, complete separable metric spaces, separable Banach spaces and spaces of probability distributions. It is shown how these models have a logical and effective presentation and how they are used to give a computational framework in several areas in mathematics and physics. These include fractal geometry, where new results on existence and uniqueness of attractors and invariant distributions have been obtained, measure and integration theory, where a generalization of the Riemann theory of integration has been developed, and real arithmetic, where a feasible setting for exact computer arithmetic has been formulated. We give a number of algorithms for computation in the theory of iterated function systems with applications in statistical physics and in period doubling route to chao...
A New Representation for Exact Real Numbers
, 1997
"... We develop the theoretical foundation of a new representation of real numbers based on the infinite composition of linear fractional transformations (lft), equivalently the infiite product of matrices, with nonnegative coefficients. Any rational interval in the one point compactification of the rea ..."
Abstract

Cited by 42 (8 self)
 Add to MetaCart
We develop the theoretical foundation of a new representation of real numbers based on the infinite composition of linear fractional transformations (lft), equivalently the infiite product of matrices, with nonnegative coefficients. Any rational interval in the one point compactification of the real line, represented by the unit circle S¹, is expressed as the image of the base interval [0�1] under an lft. A sequence of shrinking nested intervals is then represented by an infinite product of matrices with integer coefficients such that the first socalled sign matrix determines an interval on which the real number lies. The subsequent socalled digit matrices have nonnegative integer coe cients and successively re ne that interval. Based on the classi cation of lft's according to their conjugacy classes and their geometric dynamics, we show that there is a canonical choice of four sign matrices which are generated by rotation of S¹ by =4. Furthermore, the ordinary signed digit representation of real numbers in a given base induces a canonical choice of digit matrices.
Semantics of Exact Real Arithmetic
, 1997
"... In this paper, we incorporate a representation of the nonnegative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coefficients into the Programming Language for Computable Functions (PCF) with products. We present two models for the exten ..."
Abstract

Cited by 29 (8 self)
 Add to MetaCart
In this paper, we incorporate a representation of the nonnegative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coefficients into the Programming Language for Computable Functions (PCF) with products. We present two models for the extended language and show that they are computationally adequate with respect to the operational semantics.
Lazy Functional Algorithms for Exact Real Functionals
 Lec. Not. Comput. Sci
, 1998
"... . We show how functional languages can be used to write programs for realvalued functionals in exact real arithmetic. We concentrate on two useful functionals: definite integration, and the functional returning the maximum value of a continuous function over a closed interval. The algorithms are a ..."
Abstract

Cited by 23 (0 self)
 Add to MetaCart
. We show how functional languages can be used to write programs for realvalued functionals in exact real arithmetic. We concentrate on two useful functionals: definite integration, and the functional returning the maximum value of a continuous function over a closed interval. The algorithms are a practical application of a method, due to Berger, for computing quantifiers over streams. Correctness proofs for the algorithms make essential use of domain theory. 1 Introduction In exact real number computation, infinite representations of reals are employed to avoid the usual rounding errors that are inherent in floating point computation [46, 17]. For certain real number computations that are highly sensitive to small variations in the input, such rounding errors become inordinately large and the use of floatingpoint algorithms can lead to completely erroneous results [1, 14]. In such situations, exact real number computation provides guaranteed correctness, although at the (probably...
The iRRAM: Exact Arithmetic in C++
"... The iRRAM is a very efficient C++ package for errorfree real arithmetic based on the concept of a RealRAM. Its capabilities range from ordinary arithmetic over trigonometric functions to linear algebra even with sparse matrices. We discuss the concepts and some highlights of the implementation. ..."
Abstract

Cited by 18 (0 self)
 Add to MetaCart
The iRRAM is a very efficient C++ package for errorfree real arithmetic based on the concept of a RealRAM. Its capabilities range from ordinary arithmetic over trigonometric functions to linear algebra even with sparse matrices. We discuss the concepts and some highlights of the implementation.
Computing with Real Numbers  I. The LFT Approach to Real Number Computation  II. A Domain Framework for Computational Geometry
 PROC APPSEM SUMMER SCHOOL IN PORTUGAL
, 2002
"... We introduce, in Part I, a number representation suitable for exact real number computation, consisting of an exponent and a mantissa, which is an in nite stream of signed digits, based on the interval [ 1; 1]. Numerical operations are implemented in terms of linear fractional transformations ( ..."
Abstract

Cited by 16 (1 self)
 Add to MetaCart
We introduce, in Part I, a number representation suitable for exact real number computation, consisting of an exponent and a mantissa, which is an in nite stream of signed digits, based on the interval [ 1; 1]. Numerical operations are implemented in terms of linear fractional transformations (LFT's). We derive lower and upper bounds for the number of argument digits that are needed to obtain a desired number of result digits of a computation, which imply that the complexity of LFT application is that of multiplying nbit integers. In Part II, we present an accessible account of a domaintheoretic approach to computational geometry and solid modelling which provides a datatype for designing robust geometric algorithms, illustrated here by the convex hull algorithm.
Induction And Recursion On The Real Line
"... We characterize the real line by properties similar to the socalled Peano axioms for natural numbers. These properties include an induction principle and a corresponding recursion scheme. The recursion scheme allows us to define functions such as addition, multiplication, exponential, logarithm, s ..."
Abstract

Cited by 11 (9 self)
 Add to MetaCart
We characterize the real line by properties similar to the socalled Peano axioms for natural numbers. These properties include an induction principle and a corresponding recursion scheme. The recursion scheme allows us to define functions such as addition, multiplication, exponential, logarithm, sine, arc sine, etc. from simpler ones. In order to obtain such a characterization, we introduce a notion of infinitely iterated composition of morphisms in categories, and we state a fixed point theorem and an infinite composition theorem for uniform spaces. 1 Introduction We characterize the real line by properties similar to the socalled Peano axioms for natural numbers [10, 11, 19]. These properties include an induction principle and a corresponding recursion scheme. The recursion scheme allows us to define functions such as addition, multiplication, exponential, logarithm, sine, arc sine, etc. from simpler ones. 1.1 Programme We begin by characterizing the unit interval I = [0; 1]. F...
A universal characterization of the closed euclidean interval (Extended Abstract)
 PROC. OF 16TH ANN. IEEE SYMP. ON LOGIC IN COMPUTER SCIENCE, LICS'01
, 2001
"... We propose a notion of interval object in a category with finite products, providing a universal property for closed and bounded real line segments. The universal property gives rise to an analogue of primitive recursion for defining computable functions on the interval. We use this to define basi ..."
Abstract

Cited by 11 (1 self)
 Add to MetaCart
We propose a notion of interval object in a category with finite products, providing a universal property for closed and bounded real line segments. The universal property gives rise to an analogue of primitive recursion for defining computable functions on the interval. We use this to define basic arithmetic operations and to verify equations between them. We test the notion in categories of interest. In the
Implementing a Functional Spreadsheet in Clean
 Journal of Functional Programming
, 1995
"... It has been claimed that recent developments in the research on the efficiency of code generation and on graphical input/output interfacing have made it possible to use a functional language to write efficient programs that can compete with industrial applications written in a traditional imperative ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
It has been claimed that recent developments in the research on the efficiency of code generation and on graphical input/output interfacing have made it possible to use a functional language to write efficient programs that can compete with industrial applications written in a traditional imperative language. As one of the early steps in verifying this claim, this paper describes a first attempt to implement a spreadsheet in a lazy, purely functional language. An interesting aspect of the design is that the language with which the user specifies the relations between the cells of the spreadsheet is itself a lazy, purely functional and higher order language as well, and not some special dedicated spreadsheet language. Another interesting aspect of the design is that the spreadsheet incorporates symbolic reduction and normalisation of symbolic expressions (including equations). This introduces the possibility of asking the system to prove equality of symbolic cell expressions: a property...