Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 331 p.
ISBN 978-2-85629-237-2
Séminaires & congrés , 0015
Localisation : Collection 1er étage
équations différentielles ordinaires # propriétés qualitatives des solutions d'une EDP # résonance # stabilité # comportement asymptotique # EDP non linéaire et elliptique # dispersion # équations de Navier-Stokes # système hamitonien # stabilité # perturbation # fluide incompressible # opérateurs dans la théorie quantique
34A12 ; 35B34 ; 35B35 ; 35B40 ; 35J60 ; 35P25 ; 35Q30 ; 35Q35 ; 37K10 ; 37K45 ; 37K55 ; 76B47 ; 76D05 ; 81B10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Research talks;Computer Science
This talk is about verified numerical algorithms in Isabelle/HOL, with a focus on guaranteed enclosures for solutions of ODEs. The enclosures are represented by zonotopes, arising from the use of affine arithmetic. Enclosures for solutions of ODEs are computed by set-based variants of the well-known Runge-Kutta methods.
All of the algorithms are formally verified with respect to a formalization of ODEs in Isabelle/HOL: The correctness proofs are carried out for abstract algorithms, which are specified in terms of real numbers and sets. These abstract algorithms are automatically refined towards executable specifications based on lists, zonotopes, and software floating point numbers. Optimizations for low-dimensional, nonlinear dynamics allow for an application highlight: the computation of an accurate enclosure for the Lorenz attractor. This contributes to an important proof that originally relied on non-verified numerical computations.
This talk is about verified numerical algorithms in Isabelle/HOL, with a focus on guaranteed enclosures for solutions of ODEs. The enclosures are represented by zonotopes, arising from the use of affine arithmetic. Enclosures for solutions of ODEs are computed by set-based variants of the well-known Runge-Kutta methods.
All of the algorithms are formally verified with respect to a formalization of ODEs in Isabelle/HOL: The correctness proofs are ...
68T15 ; 34-04 ; 34A12 ; 37D45 ; 65G20 ; 65G30 ; 65G50 ; 65L70 ; 68N15 ; 68Q60 ; 68N30 ; 65Y04
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- ix; 197 p.
ISBN 978-981-4324-02-1
Series in real analysis , 0011
Localisation : Ouvrage RdC (KURZ)
équation différentielle # problème aux valeurs initiales # intégrale de Kurzweil-Henstock # intégrale de Kurzweil-Stieltjes # existence et unicité des solutions # dépendence continue # inégalité de Gronwall # moyenne
34A12 ; 34-02 ; 34G20 ; 26A45 ; 26A39 ; 28B05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- x; 234 p.
ISBN 978-0-582-44068-5
Longman mathematical texts
Localisation : Ouvrage RdC (INCE)
equation différentielle # équation différentielle d'ordre 1 # équation différentielle d'ordre 2
34-01 ; 34A30 ; 34A12 ; 34C05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- x; 302 p.
ISBN 978-1-4398-6757-0
Pure and applied mathematics , 0298
Localisation : Ouvrage RdC (BAIN)
problème aux valeures initiales # EDP
34-02 ; 34A12
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xix; 460 p.
ISBN 978-981-4335-62-1
Localisation : Ouvrage RdC (VRAB)
EDP # stabilité de Lyapunov # problème de Cauchy # méthode d'approximation # élément de stabilité # équation de Volterra # calcul de variations
34-01 ; 34A05 ; 34A12 ; 34A30 ; 34D20 ; 35-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiv; 434 p.
ISBN 978-0-898716-88-7
Advances in design and control
Localisation : Ouvrage RdC (BETT)
calcul de variations # méthodes de programmation non linéaire # programmation non linéaire # contrôle optimal # techniques de discretisation
49-01 ; 49M37 ; 65L50 ; 90C30 ; 34H05 ; 34A12 ; 34K05 ; 90-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- viii; 247 p.
ISBN 978-3-642-14573-5
Lecture notes in mathematics , 2004
Localisation : Collection 1er étage
équation différentielle # dérivée fractionnaire de Caputo # existence # unicité # problème aux valeures limites # problème aux valeures initiales # dérivé de Reimann-Liouville
34A12 ; 34-02 ; 34-01 ; 26A33 ; 33E12
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 155 p.
ISBN 978-0-486-45810-6
Localisation : Ouvrage Rdc (MURR)
EDO # EDO linéaires # valeures initiales # existence des solutions # continuité # unicité des solutions # théorème d'existence
34A12 ; 34-01 ; 34A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 377 p.
ISBN 978-3-03719-017-3
EMS Textbooks in mathematics
Localisation : Ouvrage RdC (KUNK)
équation différentielle algébrique # équation implicite # problème de valeures initiales # problème de valeures limites # solution numérique d'équation
34A09 ; 65L80 ; 34A12 ; 34B15 ; 65L06 ; 65-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 232 p.
Localisation : Fonds Russe réserve
théorie générale # théorème d'existence et unicité # point singulier # système des équations # forme canonique
34-01 ; 34A05 ; 34A12 ; 34A30 ; 34D20
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 308 p.
Localisation : Fonds Russe réserve
système infini des équations différentielles # théorème d'existence et d'unicité # système autonome #solution périodique # tare invariant système au paramètre petit
34A12 ; 34A30 ; 34A34 ; 34A37 ; 34B27
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 244 p.
ISBN
Itogi Nauki i Tekhniki
Localisation : Fonds Russe réserve
équation différentielle # points singulier # cycle limite # système dynamique lisse # système de Morse-Smale # flux des surfaces
34-01 ; 34C05 ; 34C20 ; 34C23 ; 37C05 ; 37D15 ; 34A12 ; 34A07
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 294 p.
Cahiers scientifiques , 0026
Localisation : Bibliothèque de Marne la Vallée;Ouvrage RdC ( FAVA)
champ analytique # champ réel # problème local ou global # théorème d'existence # théorème de Fuchs # équation aux différentielles totales # équation différentielle # équation différentielle linéaire
30D05 ; 34A12 ; 34A20 ; 34A30 ; 34B24
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 319 p.
Mathematics in science and engineering , 0055
Localisation : Ouvrage RdC (LAKS)
espace abstrait # inégalité différentielle # inégalité intégrale # stabilité # équation différentielle aux dérivées partielles # équation différentielle complexe # équation différentielle fonctionnelle # équation différentielle ordinaire # équation intégrale de Voltera
34A12 ; 34Axx ; 34Dxx ; 34Gxx ; 45D05
... Lire [+]
