m

F Nous contacter

0

Documents  65L70 | enregistrements trouvés : 5

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 169 p.
ISBN 978-3-540-40192-6

Lecture notes in mathematics , 1813

Localisation : Collection 1er étage

calcul de variations # équation de Monge-Ampère # trajectoire optimale # déplacement optimal # inégalité fonctionnelle # EDP # théorie de Monge-Kantorovich # transport de masse

49-06 ; 35J20 ; 35J70 ; 35K65 ; 65L70 ; 35Q60 ; 35Q75 ; 49K20 ; 49K99 ; 60F99 ; 52A99 ; 82C70 ; 82C99 ; 74P99

... 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.

- 85 p.

Kungl. tekniska högskolans handlingar , 0130

Localisation : Ouvrage RdC (DAHL)

borne d'erreur # intégration numérique # limite # stabilité des méthodes numériques # équation différentielle ordinaire

65L20 ; 65L70

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xi; 247 p.
ISBN 978-3-0348-0106-5

International series of numerical mathematics , 0159

Localisation : Ouvrage RdC (EXAC)

équation différentielle # problème de valeures limites # algorithme # estimateur d'erreur à postériori # exemples numériques

65L10 ; 65L12 ; 65L20 ; 65L50 ; 65L70 ; 65-99

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xiv; 395 p.
ISBN 978-0-19-967137-3

Numerical mathematics and scientific computation

Localisation : Ouvrage RdC (BELL)

système différentiel avec délai # méthode numérique

65L05 ; 65L06 ; 34K28 ; 34K40 ; 65-02 ; 65L70 ; 65L50 ; 65L20

... Lire [+]

Z