Preface (Special issue on Constructive analysis, types and exact real numbers)

B.A.W. Spitters; J.H. Geuvers; M. Niqui; F. Wiedijk

doi:10.1017/S0960129506005846

Preface (Special issue on Constructive analysis, types and exact real numbers)

B.A.W. Spitters, J.H. Geuvers, M. Niqui, F. Wiedijk

Formal System Analysis

Research output: Contribution to journal › Editorial › Academic › peer-review

Abstract

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.

Original language	English
Pages (from-to)	1-
Journal	Mathematical Structures in Computer Science
Volume	17
Issue number	1
DOIs	https://doi.org/10.1017/S0960129506005846
Publication status	Published - 2007

Access to Document

10.1017/S0960129506005846

Cite this

@article{adba33b3239e438bbb2ae192e360b1f6,

title = "Preface (Special issue on Constructive analysis, types and exact real numbers)",

abstract = "The title Constructive analysis, types and exact real numbers covers the wide field of research dealing with {\textquoteleft}precise{\textquoteright} computationson continuous structures. The adjective {\textquoteleft}precise{\textquoteright} 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.",

author = "B.A.W. Spitters and J.H. Geuvers and M. Niqui and F. Wiedijk",

year = "2007",

doi = "10.1017/S0960129506005846",

language = "English",

volume = "17",

pages = "1--",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "1",

}

TY - JOUR

T1 - Preface (Special issue on Constructive analysis, types and exact real numbers)

AU - Spitters, B.A.W.

AU - Geuvers, J.H.

AU - Niqui, M.

AU - Wiedijk, F.

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

U2 - 10.1017/S0960129506005846

DO - 10.1017/S0960129506005846

M3 - Editorial

SN - 0960-1295

VL - 17

SP - 1-

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 1

ER -

Preface (Special issue on Constructive analysis, types and exact real numbers)

Abstract

Access to Document

Fingerprint

Cite this