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 hdl:20.500.11880/25877 http://dx.doi.org/10.22028/D291-25821 |
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 | Size | Format | |
---|---|---|---|---|
SFB124-97-12.pdf | 275,19 kB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.