Please use this identifier to cite or link to this item: doi:10.22028/D291-25821
Title: Analytic machines
Author(s): Hotz, Günter
Chadzelek, Thomas
Language: English
Year of Publication: 1997
SWD key words: Technische Informatik
Free key words: analytic machines
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: In this paper we present some results about it analytic machines regarding th power of computations over sf bf Q and sf bf R, solutions of differential equations and the stability problem of dynamical systems. We first explain the machine model, wich is a kind of sc Blum-Shub-Smale machine enhanced by infinite convergent computiations. Next, we compare the computional power of such machinesofer the fields sf bf Q and sf bf R showing that finite computations with real numbers can be simulated by infinite converging computations on rational numbers, but the precision of the approximation is not known during the process. Our attention is then shifted to it ordinary differential equations (ODEs), dynamical systems described by ODEs and the undecidability of a class of stability problems for dynamical system
Link to this record: urn:nbn:de:bsz:291-scidok-3820
Date of registration: 23-Jun-2005
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
SFB124-97-12.pdf275,19 kBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.