m

F Nous contacter

0

Documents  34A12 | enregistrements trouvés : 26

O

-A +A

P Q

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.

- 207 p.
ISBN 978-2-85629-160-3

Séminaires et congrès , 0009

Localisation : Collection 1er étage

équation de Navier-Stokes # faisceaux # analyse microlocale # hydrodynamique # problème de Neumann-Kelvin # phase stationnaire # singularité d'hypersurface # problème de Cauchy # fonction de Green # résidus # courbe pseudoholomorphe # opérade # fluide incompressible # développement asymptotique

16A24 ; 16W30 ; 18D50 ; 32C30 ; 32C38 ; 32Q65 ; 32S40 ; 34A12 ; 35A10 ; 35A20 ; 35A27 ; 35C15 ; 35C20 ; 35E05 ; 35J25 ; 35Q30 ; 35S99 ; 53C15 ; 53C42 ; 53D35 ; 57R17 ; 58J60 ; 76B20 ; 76B99 ; 76D05

... Lire [+]

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.

- xi; 356 p.
ISBN 978-0-8218-8328-0

Graduate studies in mathematics , 0140

Localisation : Collection 1er étage

équation différentielle # système dynamique # chaos # théorie de la stabilité

34-01 ; 37-01 ; 34A12 ; 34A30 ; 34Bxx ; 34D20 ; 37C75 ; 37D45 ; 37C29

... Lire [+]

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.

- xv; 523 p.
ISBN 978-0-444-51832-3

North-Holland mathematics studies , 0204

Localisation : Ouvrage RdC (KILB)

intégrale fractionnaire # EDP # équation différentielle

45J05 ; 26A33 ; 34A12 ; 65L05 ; 65R20 ; 45-02 ; 34-02 ; 65L10 ; 35A22 ; 34A25 ; 45D05 ; 45G10

... Lire [+]

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.

- 210 p.
ISBN 978-3-540-64074-5

Scopos

Localisation : Enseignement RdC (GHID)

enseignement # problème d'analyse

00A07 ; 26A06 ; 26B05 ; 26B10 ; 34A12 ; 40A05 ; 40A10

... Lire [+]

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.

- 245 p.

Localisation : Ouvrage RdC (SIEG)

collision # estimation asymptotique # problème des trois corps # équation différentielle

34A12 ; 34D05 ; 70F07 ; 70F35 ; 70Fxx

... Lire [+]

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 [+]

Z