[Sans titre]
| hal.structure.identifier | Institut de Mathématiques de Bordeaux [IMB] | |
| hal.structure.identifier | Lithe and fast algorithmic number theory [LFANT] | |
| dc.contributor.author | CARUSO, Xavier | |
| hal.structure.identifier | Mathématiques & Sécurité de l'information [XLIM-MATHIS] | |
| dc.contributor.author | VACCON, Tristan | |
| hal.structure.identifier | University of Linz - Johannes Kepler Universität Linz [JKU] | |
| dc.contributor.author | VERRON, Thibaut | |
| dc.date.accessioned | 2024-04-04T03:01:10Z | |
| dc.date.available | 2024-04-04T03:01:10Z | |
| dc.date.conference | 2019-07-15 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/192876 | |
| dc.description.abstractEn | Tate algebras are fundamental objects in the context of analytic geometry over the p-adics. Roughly speaking, they play the same role as polynomial algebras play in classical algebraic geometry. In the present article, we develop the formalism of Gröbner bases for Tate algebras. We prove an analogue of the Buchberger criterion in our framework and design a Buchberger-like and a F4-like algorithm for computing Gröbner bases over Tate algebras. An implementation in SM is also discussed. | |
| dc.language.iso | en | |
| dc.subject.en | p-adic precision | |
| dc.subject.en | Gröbner bases | |
| dc.subject.en | F4 algorithm | |
| dc.subject.en | Power series | |
| dc.subject.en | Tate algebra | |
| dc.type | Communication dans un congrès | |
| dc.identifier.doi | 10.1145/3326229.3326257 | |
| dc.subject.hal | Mathématiques [math]/Géométrie algébrique [math.AG] | |
| dc.subject.hal | Mathématiques [math]/Théorie des nombres [math.NT] | |
| dc.subject.hal | Informatique [cs]/Calcul formel [cs.SC] | |
| dc.identifier.arxiv | 1901.09574 | |
| bordeaux.hal.laboratories | Institut de Mathématiques de Bordeaux (IMB) - UMR 5251 | * |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.conference.title | ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation | |
| bordeaux.country | CN | |
| bordeaux.conference.city | Beijing | |
| bordeaux.peerReviewed | oui | |
| hal.identifier | hal-01995881 | |
| hal.version | 1 | |
| hal.invited | non | |
| hal.proceedings | oui | |
| hal.conference.end | 2019-07-18 | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//hal-01995881v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.au=CARUSO,%20Xavier&VACCON,%20Tristan&VERRON,%20Thibaut&rft.genre=unknown |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||