Tracking p-adic precision

We present a new method to propagate $p$-adic precision in computations, which also applies to other ultrametric fields. We illustrate it with many examples and give a toy application to the stable computation of the SOMOS 4 sequence.

Data and Resources

Additional Info

Field Value
Source ISSN: 1461-1570
Author Caruso, Xavier, Roe, David, Vaccon, Tristan
Maintainer CCSD
Last Updated May 6, 2026, 05:20 (UTC)
Created May 6, 2026, 05:20 (UTC)
Identifier hal-00952952
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Institut de Recherche Mathématique de Rennes (IRMAR) ; Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-École normale supérieure - Rennes (ENS Rennes)-Université de Rennes 2 (UR2)-Centre National de la Recherche Scientifique (CNRS)-INSTITUT AGRO Agrocampus Ouest ; Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)
creator Caruso, Xavier
date 2014-05-06T00:00:00
harvest_object_id d6d78491-a184-4baf-8994-13239b1258ea
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-01-21T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1402.7142
set_spec type:ART