Show simple item record

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


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record