Towards fast and certified multiple-precision librairies

De nombreux problèmes de calcul numérique demandent parfois à effectuer des calculs très précis. L'étude desystèmes dynamiques chaotiques fournit des exemples très connus: la stabilité du système solaire ou l’itération à longterme de l'attracteur de Lorenz qui constitue un des premiers mod...

Full description

Bibliographic Details
Main Author: Popescu, Valentina
Other Authors: Lyon
Language:en
Published: 2017
Subjects:
Online Access:http://www.theses.fr/2017LYSEN036/document