Decision problems and round-off machines

F. Cucker; J.-P. Dedieu

doi:10.1007/s00224-001-1024-4

Decision problems and round-off machines

F. Cucker
, J.-P. Dedieu

Department of Mathematics

Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

Abstract

We study the behavior of decision machines working with finite precision. We give answers to the following questions: (A) under which conditions is the answer provided by the machine correct? and (B) under which conditions does there exist an element y close to the input x such that the decision for x obtained with finite precision coincides with that for y under infinite precision?

Original language	English
Pages (from-to)	433-452
Journal	Theory of Computing Systems
Volume	34
Issue number	5
Online published	30 Oct 2001
DOIs	https://doi.org/10.1007/s00224-001-1024-4
Publication status	Published - Oct 2001

Access Output

10.1007/s00224-001-1024-4

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

@article{9695c3c86ed54a08960910cda163b7a0,

title = "Decision problems and round-off machines",

abstract = "We study the behavior of decision machines working with finite precision. We give answers to the following questions: (A) under which conditions is the answer provided by the machine correct? and (B) under which conditions does there exist an element y close to the input x such that the decision for x obtained with finite precision coincides with that for y under infinite precision?",

author = "F. Cucker and J.-P. Dedieu",

year = "2001",

month = oct,

doi = "10.1007/s00224-001-1024-4",

language = "English",

volume = "34",

pages = "433--452",

journal = "Theory of Computing Systems",

issn = "1432-4350",

publisher = "Springer New York",

number = "5",

}

TY - JOUR

T1 - Decision problems and round-off machines

AU - Cucker, F.

AU - Dedieu, J.-P.

PY - 2001/10

Y1 - 2001/10

N2 - We study the behavior of decision machines working with finite precision. We give answers to the following questions: (A) under which conditions is the answer provided by the machine correct? and (B) under which conditions does there exist an element y close to the input x such that the decision for x obtained with finite precision coincides with that for y under infinite precision?

AB - We study the behavior of decision machines working with finite precision. We give answers to the following questions: (A) under which conditions is the answer provided by the machine correct? and (B) under which conditions does there exist an element y close to the input x such that the decision for x obtained with finite precision coincides with that for y under infinite precision?

UR - https://www.scopus.com/pages/publications/0035605452

UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-0035605452&origin=recordpage

U2 - 10.1007/s00224-001-1024-4

DO - 10.1007/s00224-001-1024-4

M3 - RGC 21 - Publication in refereed journal

SN - 1432-4350

VL - 34

SP - 433

EP - 452

JO - Theory of Computing Systems

JF - Theory of Computing Systems

IS - 5

ER -

Decision problems and round-off machines

Abstract

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Cite this