Approximation pondérée sur un corps de nombres $p$-adiques
نویسندگان
چکیده
منابع مشابه
Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres
La mise en œuvre effective de méthodes de vérification de programmes comportant des calculs sur les nombres à virgule flottante reste encore problématique. Cela est en partie dû aux difficultés inhérentes à l’arithmétique des nombres à virgule flottante dont la pauvreté des propriétés rend souvent impossible la transposition de résultats établis sur les réels. C’est pourquoi nous présentons dan...
متن کاملConstruction Géométrique De Représentations De Weil Sur Un Corps Fini
We construct, by contraction of a suitable complex vector bundle, the Weil representation of the finite symplectic group Sp(A). We give an explicit description of the space of all lagrangian subspaces, which we use to compute the cocycle of our representation in terms of a geometric Gauss sum. We recover in this way previously constructed generalized Weil representations (see [2, 3]) by restric...
متن کاملDéfinissabilité dans les Corps de Fonctions p-Adiques
We study function fields over p-adically closed fields in the first-order language of fields. Using ideas of Duret [D], we show that the field of constants is definable, and that the genus is an elementary property. ?0. Introduction. Soit p un nombre premier fixed. Un corps p-adiquement clos est un corps elementairement equivalent au corps des nombres p-adiques, Qp. Le langage des corps sera le...
متن کاملUn nouvel algorithme de consistance locale sur les nombres flottants
Solving constraints over floating-point numbers is a critical issue in numerous applications notably in program verification. Capabilities of filtering algorithms over the floating-point numbers have been so far limited to 2b-consistency and its derivatives. Though safe, such filtering techniques suffer from the well known pathological problems of local consistencies, e.g., inability to efficie...
متن کاملp-cycliques de la droite projective sur un corps p-adique
Dans sa thèse C. Lehr vient d’exhiber un algorithme pour décrire la réduction stable des revêtements p-cycliques de la droite projective sur un corps p-adique dans le cas où le lieu de branchement de cardinal m + 1 a la géométrie équidistante et sous l’hypothèse où m < p. Dans cette note toujours dans le cas où le lieu de branchement a la géométrie équidistante nous proposons un algorithme sans...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin de la Société mathématique de France
سال: 1976
ISSN: 0037-9484,2102-622X
DOI: 10.24033/bsmf.1837