Hostname: page-component-77c89778f8-9q27g Total loading time: 0 Render date: 2024-07-18T17:26:19.891Z Has data issue: false hasContentIssue false
  • English
  • Français

Preface to the special issue: Constructive analysis, types and exact real numbers

Published online by Cambridge University Press:  01 February 2007

BAS SPITTERS ,
HERMAN GEUVERS ,
MILAD NIQUI  and
FREEK WIEDIJK
BAS SPITTERS
Affiliation:
Radboud University Nijmegen, the Netherlands Email: spitters@cs.ru.nl
HERMAN GEUVERS
Affiliation:
Radboud University Nijmegen, the Netherlands Email: spitters@cs.ru.nl
MILAD NIQUI
Affiliation:
Radboud University Nijmegen, the Netherlands Email: spitters@cs.ru.nl
FREEK WIEDIJK
Affiliation:
Radboud University Nijmegen, the Netherlands Email: spitters@cs.ru.nl
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The title Constructive analysis, types and exact real numbers covers the wide field of research dealing with ‘precise’ computationson continuous structures. The adjective ‘precise’ is used here in an informal way, referring to computations where the rounding off of the output and the approximative nature of the input are explicitly taken nto account in some way.

Type
Editorial Preface
Information
Mathematical Structures in Computer Science , Volume 17 , Issue 1 , February 2007 , pp. 1
Copyright
Copyright © Cambridge University Press 2007