Précision p-adique
FR |
EN
Auteur / Autrice : | Tristan Vaccon |
Direction : | Xavier Caruso |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques et applications |
Date : | Soutenance le 03/07/2015 |
Etablissement(s) : | Rennes 1 |
Ecole(s) doctorale(s) : | École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) |
Partenaire(s) de recherche : | Laboratoire : Institut de recherche mathématique (Rennes ; 1996-....) - Institut de Recherche Mathématique de Rennes |
PRES : Université européenne de Bretagne (2007-2016) |
Mots clés
FR |
EN
Mots clés contrôlés
Résumé
FR |
EN
Les nombres p-adiques sont un analogue des nombres réels plus proche de l’arithmétique. L’avènement ces dernières décennies de la géométrie arithmétique a engendré la création de nombreux algorithmes utilisant ces nombres. Ces derniers ne peuvent être de manière générale manipulés qu’à précision finie. Nous proposons une méthode, dite de précision différentielle, pour étudier ces problèmes de précision. Elle permet de se ramener à un problème au premier ordre. Nous nous intéressons aussi à la question de savoir quelles bases de Gröbner peuvent être calculées sur les p-adiques.