Zobrazeno 1 - 10
of 57
pro vyhledávání: '"Verron, Thibaut"'
Autor:
Vaccon, Tristan, Verron, Thibaut
Publikováno v:
ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Troms{{\o}}, Norway. pp.517-525
A universal analytic Gr{\"o}bner basis (UAGB) of an ideal of a Tate algebra is a set containing a local Gr{\"o}bner basis for all suitable convergence radii. In a previous article, the authors proved the existence of finite UAGB's for polynomial idea
Externí odkaz:
http://arxiv.org/abs/2401.05759
Autor:
Hofstadler, Clemens, Verron, Thibaut
Publikováno v:
Proceedings of International Symposium on Symbolic and Algebraic Computation 2023
We generalize signature Gr\"obner bases, previously studied in the free algebra over a field or polynomial rings over a ring, to ideals in the mixed algebra $R[x_1,...,x_k]\langle y_1,\dots,y_n \rangle$ where $R$ is a principal ideal domain. We give
Externí odkaz:
http://arxiv.org/abs/2302.06483
Publikováno v:
Proceedings of International Symposium on Symbolic and Algebraic Computation 2023
Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically, transcendence is certified by checking certain incomplete sufficient conditions. In this paper we pr
Externí odkaz:
http://arxiv.org/abs/2302.06396
Autor:
Hofstadler, Clemens, Verron, Thibaut
A cofactor representation of an ideal element, that is, a representation in terms of the generators, can be considered as a certificate for ideal membership. Such a representation is typically not unique, and some can be a lot more complicated than o
Externí odkaz:
http://arxiv.org/abs/2302.02832
In this paper, we study ideals spanned by polynomials or overconvergent series in a Tate algebra. With state-of-the-art algorithms for computing Tate Gr{\"o}bner bases, even if the input is polynomials, the size of the output grows with the required
Externí odkaz:
http://arxiv.org/abs/2202.07509
Autor:
Verron, Thibaut
In this paper, we examine the structure of systems that are weighted homogeneous for several systems of weights, and how it impacts the computation of Gr\"obner bases. We present several linear algebra algorithms for computing Gr\"obner bases for sys
Externí odkaz:
http://arxiv.org/abs/2202.05742
Autor:
Hofstadler, Clemens, Verron, Thibaut
Signature-based algorithms have become a standard approach for computing Gr\"obner bases in commutative polynomial rings. However, so far, it was not clear how to extend this concept to the setting of noncommutative polynomials in the free algebra. I
Externí odkaz:
http://arxiv.org/abs/2107.14675
Tate introduced in [Ta71] the notion of Tate algebras to serve, in the context of analytic geometry over the-adics, as a counterpart of polynomial algebras in classical algebraic geometry. In [CVV19, CVV20] the formalism of Gr{\"o}bner bases over Tat
Externí odkaz:
http://arxiv.org/abs/2102.05324
Autor:
Francis, Maria, Verron, Thibaut
Signature-based algorithms have brought large improvements in the performances of Gr\"obner bases algorithms for polynomial systems over fields. Furthermore, they yield additional data which can be used, for example, to compute the module of syzygies
Externí odkaz:
http://arxiv.org/abs/2102.03339
Beaton, Owczarek and Xu (2019) studied generating functions of Kreweras walks and of reverse Kreweras walks in the quarter plane, with interacting boundaries. They proved that for the reverse Kreweras step set, the generating function is always algeb
Externí odkaz:
http://arxiv.org/abs/2012.00816