Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains
63
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe en t'inscrivant gratuitement
Découvre YouScribe en t'inscrivant gratuitement
63
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains Olivier Bournez Daniel S. Graça Amaury Pouly ENS Lyon May 24, 2011 Olivier Bournez, Daniel S. Graça, Amaury Pouly (ENS Lyon)Solving Analytic Differential Equations in Polynomial Time over Unbounded DomainsMay 24, 2011 ?∞ / 17
Voir
- polynomial time over
- unbounded domainsmay
- solving analytic
- bss model
- analog computer
- equations over
- solving differential
- blum shub
Amaury Pouly
Daniel S. Graça
Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains
May 24, 2011
Olivier Bournez
ENS Lyon
Solving differential equations Preliminary remarks Solving differential equations overC Back toR
Outline
1
2
Computing with reals Introduction GPAC Computable analysis Church Thesis
elniDaz,neurBoerivilOSolvyroPmAuaça,a.SrG
Many models: Recursive functions Turing machines λ-calculus circuits . . .
The case of integers
71/111
And
Many models: Recursive functions Turing machines λ-calculus circuits . . .
The case of integers
71/1
Church Thesis All reasonable discrete models of computation are equivalent.
oPoSlvingAnalyticDiferefaitnuqEloitainnslyPontroalsIthrengwiupitCmotcudnoi
Several models: BSS model (Blum Shub Smale) Computable analysis GPAC (General Purpose Analog Computer) . . .
The case of analog computations
7ynPolitupiwgnmoCoinntroductthrealsIviolSA,açarG.oPyruamalEqentionsiuatilatygnnAffreciiDrBournez,DanielSlOviei
Several models: BSS model (Blum Shub Smale) Computable analysis GPAC (General Purpose Analog Computer) . . . Questions: Church Thesis for analog computers ?
The case of analog computations
172yaM/21102,4
