ZpL : un paquet Sage pour gérer la précision p-adique
par
Vaccon
→
Europe/Paris
Salle XR203 (Bâtiment XLIM)
Salle XR203
Bâtiment XLIM
Description
Il s'agit d'une démonstration de l'implantation en Sagemath de la méthode de la précision différentielle pour gérer la précision p-adique.
Nous verrons que, au prix d'une augmentation du coût en temps et en mémoire, cette implantation permet d'obtenir une meilleure précision que les implantations usuelles des p-adiques.
Il s'agit d'un travail en commun avec Xavier Caruso et David Roe.