Results 1  10
of
13
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 59 (13 self)
 Add to MetaCart
(Show Context)
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 DomainTheoretic Approach to Computability on the Real Line
, 1997
"... In recent years, there has been a considerable amount of work on using continuous domains in real analysis. Most notably are the development of the generalized Riemann integral with applications in fractal geometry, several extensions of the programming language PCF with a real number data type, and ..."
Abstract

Cited by 49 (11 self)
 Add to MetaCart
In recent years, there has been a considerable amount of work on using continuous domains in real analysis. Most notably are the development of the generalized Riemann integral with applications in fractal geometry, several extensions of the programming language PCF with a real number data type, and a framework and an implementation of a package for exact real number arithmetic. Based on recursion theory we present here a precise and direct formulation of effective representation of real numbers by continuous domains, which is equivalent to the representation of real numbers by algebraic domains as in the work of StoltenbergHansen and Tucker. We use basic ingredients of an effective theory of continuous domains to spell out notions of computability for the reals and for functions on the real line. We prove directly that our approach is equivalent to the established Turingmachine based approach which dates back to Grzegorczyk and Lacombe, is used by PourEl & Richards in their found...
Domain Representations of Partial Functions, with Applications to Spatial Objects and Constructive Volume Geometry
, 2000
"... A partial spatial object is a partial map from space to data. Data types of partial spatial objects are modelled by topological algebras of partial maps and are the foundation for a high level approach to volume graphics called constructive volume geometry (CVG), where space and data are subspaces o ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
A partial spatial object is a partial map from space to data. Data types of partial spatial objects are modelled by topological algebras of partial maps and are the foundation for a high level approach to volume graphics called constructive volume geometry (CVG), where space and data are subspaces of # dimensional Euclidean space. We investigate the computability of partial spatial object data types, in general and in volume graphics, using the theory of effective domain representations for topological algebras. The basic mathematical problem considered is to classify which partial functions between topological spaces can be represented by total continuous functions between given domain representations of the spaces. We prove theorems about partial functions on regular Hausdorff spaces and their domain representations, and apply the results to partial spatial objects and CVG algebras.
Effective Metric Spaces and Representations of the Reals
 THEORETICAL COMPUTER SCIENCE, 2002 (CCA'99 SPECIAL ISSUE
, 2000
"... Based on standard notions of classical recursion theory, a natural model of approximate computability for partial functions between effective metric spaces is presented. It generalizes the KoFriedman approach to computability of real functions by means of oracle Turing machines and avoids the ex ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
Based on standard notions of classical recursion theory, a natural model of approximate computability for partial functions between effective metric spaces is presented. It generalizes the KoFriedman approach to computability of real functions by means of oracle Turing machines and avoids the explicit use of representations. The topological arithmetical hierarchy is introduced and shown to be strict if the underlying space contains an effectively discrete sequence. The domains of computable functions are just the \Pi 2 sets of that hierarchy if the space admits a finitary stratification. Finally, this framework is used to investigate and characterize the standard representations of the real numbers. They are just those functions from the name space onto the reals which have both computable extensions and inversions that are computable as relations.
Approximate Decidability in Euclidean Spaces
, 2001
"... We study concepts of decidability (recursivity) for subsets of Euclidean spaces R k within the framework of approximate computability (type two theory of effectivity) . A new notion of approximate decidability is proposed and discussed in some detail. It is an effective variant of F. Hausdorff& ..."
Abstract
 Add to MetaCart
We study concepts of decidability (recursivity) for subsets of Euclidean spaces R k within the framework of approximate computability (type two theory of effectivity) . A new notion of approximate decidability is proposed and discussed in some detail. It is an effective variant of F. Hausdorff's concept of resolvable sets and modifies and generalizes notions of recursivity known from computable analysis, formerly used for open or closed sets only, to more general types of sets. Approximate decidability of a set can equivalently be expressed by computability of the characteristic function by means of an appropriately working oracle Turing machine. The notion fulfills some further natural requirements and is invariant under canonical embeddings of sets into spaces of higher dimensions. However, it is not closed under binary union or intersection of sets. We also show how the framework of resolvability and approximate decidability can be applied to investigate concepts of reducibility for subsets of Euclidean spaces.
12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES
"... Computability on topological spaces via domain representations by V StoltenbergHansen and J V Tucker Report # CSR 22007Computability on topological spaces via domain representations ..."
Abstract
 Add to MetaCart
(Show Context)
Computability on topological spaces via domain representations by V StoltenbergHansen and J V Tucker Report # CSR 22007Computability on topological spaces via domain representations