Communication Dans Un Congrès Année : 2022

Validated Numerics:Algorithms and Practical Applications in Aerospace

Résumé

My lecture will survey some classical and recent validated computing algorithms based on the theory of set-valued analysis, in suitable functional spaces, as well as by combining symbolic and numerical computations. These techniques are illustrated with some applications which appear in practical space mission analysis and design. This is only a short summary of the talk.

Fichier principal
Vignette du fichier
issac2022.pdf (192.6 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-03762945 , version 1 (20-09-2022)

Licence

Identifiants

Citer

Mioara Joldes. Validated Numerics:Algorithms and Practical Applications in Aerospace. ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Jul 2022, Villeneuve-d'Ascq France, France. pp.1-2, ⟨10.1145/3476446.3535505⟩. ⟨hal-03762945⟩
188 Consultations
265 Téléchargements

Altmetric

Partager

  • More