Mostrar el registro sencillo del ítem

hal.structure.identifierInstitut de Mathématiques de Bordeaux [IMB]
hal.structure.identifierLithe and fast algorithmic number theory [LFANT]
dc.contributor.authorCARUSO, Xavier
hal.structure.identifierMathématiques & Sécurité de l'information [XLIM-MATHIS]
dc.contributor.authorVACCON, Tristan
hal.structure.identifierUniversity of Linz - Johannes Kepler Universität Linz [JKU]
dc.contributor.authorVERRON, Thibaut
dc.date.accessioned2024-04-04T03:01:10Z
dc.date.available2024-04-04T03:01:10Z
dc.date.conference2019-07-15
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/192876
dc.description.abstractEnTate 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.isoen
dc.subject.enp-adic precision
dc.subject.enGröbner bases
dc.subject.enF4 algorithm
dc.subject.enPower series
dc.subject.enTate algebra
dc.typeCommunication dans un congrès
dc.identifier.doi10.1145/3326229.3326257
dc.subject.halMathématiques [math]/Géométrie algébrique [math.AG]
dc.subject.halMathématiques [math]/Théorie des nombres [math.NT]
dc.subject.halInformatique [cs]/Calcul formel [cs.SC]
dc.identifier.arxiv1901.09574
bordeaux.hal.laboratoriesInstitut de Mathématiques de Bordeaux (IMB) - UMR 5251*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.conference.titleISSAC 2019 - International Symposium on Symbolic and Algebraic Computation
bordeaux.countryCN
bordeaux.conference.cityBeijing
bordeaux.peerReviewedoui
hal.identifierhal-01995881
hal.version1
hal.invitednon
hal.proceedingsoui
hal.conference.end2019-07-18
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-01995881v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.au=CARUSO,%20Xavier&VACCON,%20Tristan&VERRON,%20Thibaut&rft.genre=unknown


Archivos en el ítem

ArchivosTamañoFormatoVer

No hay archivos asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem