We study the computational capabilities of dynamical systems defined by iterated functions on [0,1]^n. The computations are performed with infinite precision on arbitrary real numbers, like in the model of analog computation recently proposed by Hava Siegelmann and Eduardo Sontag. We concentrate mainly on the low-dimensional case and on the relations with the Blum-Shub-Smale model of computation over the real numbers.Nous étudions la puissance de calcul de systèmes dynamiques définis par des itérations de fonctions sur [0,1]^n. Les calculs effectués en précision infinie sur des nombres réels quelconques, comme dans le modèle de calcul analogique récemment proposé par Hava Siegelmann et Eduardo Sontag. Nous insistons surtout sur l cas des sy...
In this paper we explore results that establish a link between dynamical systems and computability ...
We show that computing the dimension of a semi-algebraic set of R^n is an NP-complete problem in the...
Because computer performance is always increasing, the numerical simulations of physical phenomena b...
In this paper we present some results about it analytic machines regarding th power of computations ...
We study the computational capabilities of dynamical systems defined by iterated functions on [0,1]^...
We show that proving lower bounds in algebraic models of computation may not be easier than in the s...
Circuit simulation is a standard task for the computer-aided design of electronic circuits. The tran...
In this paper, a set of definitions describing general real number representation systems is present...
In the Cellular Automata (CA) literature, discrete lines inside (discrete) space-time diagrams are o...
In this talk, I will present some results concerning multiplication by a constant in an abstract num...
International audienceWe introduce a mathematical framework that allows to test the compatibility be...
One of the difficulties of the numerical integration methods for differential-algebraic equations (D...
AbstractThis paper investigates operationally-based theories of a simply-typed functional programmin...
The continuous growth of computing power, both in terms of hardware and software resources, has made...
AbstractWe study formal Laurent series which are better approximated by their Oppenheim convergents....
In this paper we explore results that establish a link between dynamical systems and computability ...
We show that computing the dimension of a semi-algebraic set of R^n is an NP-complete problem in the...
Because computer performance is always increasing, the numerical simulations of physical phenomena b...
In this paper we present some results about it analytic machines regarding th power of computations ...
We study the computational capabilities of dynamical systems defined by iterated functions on [0,1]^...
We show that proving lower bounds in algebraic models of computation may not be easier than in the s...
Circuit simulation is a standard task for the computer-aided design of electronic circuits. The tran...
In this paper, a set of definitions describing general real number representation systems is present...
In the Cellular Automata (CA) literature, discrete lines inside (discrete) space-time diagrams are o...
In this talk, I will present some results concerning multiplication by a constant in an abstract num...
International audienceWe introduce a mathematical framework that allows to test the compatibility be...
One of the difficulties of the numerical integration methods for differential-algebraic equations (D...
AbstractThis paper investigates operationally-based theories of a simply-typed functional programmin...
The continuous growth of computing power, both in terms of hardware and software resources, has made...
AbstractWe study formal Laurent series which are better approximated by their Oppenheim convergents....
In this paper we explore results that establish a link between dynamical systems and computability ...
We show that computing the dimension of a semi-algebraic set of R^n is an NP-complete problem in the...
Because computer performance is always increasing, the numerical simulations of physical phenomena b...