English
Related papers

Related papers: A Systematic Study of Groebner Basis Methods

200 papers

The affine Hilbert function is a classical algebraic object that has been central, among other tools, to the development of the polynomial method in combinatorics. Owing to its concrete connections with Gr\"obner basis theory, as well as…

Combinatorics · Mathematics 2021-11-16 S. Venkitesh

We present some new and recent algorithmic results concerning polynomial system solving over various rings. In particular, we present some of the best recent bounds on: (a) the complexity of calculating the complex dimension of an algebraic…

Algebraic Geometry · Mathematics 2009-09-25 J. Maurice Rojas

Signature-based algorithms have become a standard approach for Gr\"obner basis computations for polynomial systems over fields, but how to extend these techniques to coefficients in general rings is not yet as well understood. In this…

Symbolic Computation · Computer Science 2019-05-28 Maria Francis , Thibaut Verron

In this work, it is proposed a method for computing Noncommutative Gr\"obner bases over a valuation n{\oe}therian ring. We have generalized the fundamental theorem on normal forms over an arbitrary ring. The classical method of dynamical…

Rings and Algebras · Mathematics 2012-08-14 André Mialebama Bouesso , Djiby Sow

A universal Gr\"obner basis of an ideal is the union of all its reduced Gr\"obner bases. It is contained in the Graver basis, the set of all primitive elements. Obtaining an explicit description of either of these sets, or even a sharp…

Commutative Algebra · Mathematics 2007-11-22 Sonja Petrović

A simple way of computing the Ap\'ery set of a numerical semigroup (or monoid) with respect to a generator, using Groebner bases, is presented, together with a generalization for affine semigroups. This computation allows us to calculate…

Combinatorics · Mathematics 2019-07-03 Guadalupe Márquez-Campos , Ignacio Ojeda , José M. Tornero

We compute the Groebner basis of a system of polynomial equations related to the Jacobian conjecture using a recursive formula for the Catalan numbers.

Commutative Algebra · Mathematics 2015-01-27 Christian Valqui , Marco Solorzano

The purpose of this work is to generalize part of the theory behind Faugere's "F5" algorithm. This is one of the fastest known algorithms to compute a Groebner basis of a polynomial ideal I generated by polynomials f_{1},...,f_{m}. A major…

Commutative Algebra · Mathematics 2016-03-17 Alberto Arri , John Perry

Border bases, a generalization of Groebner bases, have actively been researched during recent years due to their applicability to industrial problems. A. Kehrein and M. Kreuzer formulated the so called Border Basis Algorithm, an algorithm…

Commutative Algebra · Mathematics 2025-08-13 Stefan Kaspar

A ring with an Auslander dualizing complex is a generalization of an Auslander-Gorenstein ring. We show that many results which hold for Auslander-Gorenstein rings also hold in the more general setting. On the other hand we give criteria…

Rings and Algebras · Mathematics 2007-05-23 Amnon Yekutieli , James J. Zhang

Using the language of operated algebras, we construct and investigate a class of operator rings and enriched modules induced by a derivation or Rota-Baxter operator. In applying the general framework to univariate polynomials, one is led to…

Rings and Algebras · Mathematics 2018-03-29 Xing Gao , Li Guo , Markus Rosenkranz

We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable…

Symbolic Computation · Computer Science 2017-05-09 Amir Hashemi , Werner M. Seiler

We give an example where the number of elements of a Groebner basis in a Boolean ring is not polynomially bounded in terms of the bitsize and degrees of the input.

Symbolic Computation · Computer Science 2015-02-27 Mark van Hoeij

Computing the critical points of a polynomial function $q\in\mathbb Q[X_1,\ldots,X_n]$ restricted to the vanishing locus $V\subset\mathbb R^n$ of polynomials $f_1,\ldots, f_p\in\mathbb Q[X_1,\ldots, X_n]$ is of first importance in several…

Symbolic Computation · Computer Science 2014-05-26 Pierre-Jean Spaenlehauer

In this paper, we make a contribution to the computation of Gr\"obner bases. For polynomial reduction, instead of choosing the leading monomial of a polynomial as the monomial with respect to which the reduction process is carried out, we…

Symbolic Computation · Computer Science 2019-09-05 Georgiana Şurlea , Adrian Crăciun

Polyhedral affinoid algebras have been introduced by Einsiedler, Kapranov and Lind to connect rigid analytic geometry (analytic geometry over non-archimedean fields) and tropical geometry. In this article, we present a theory of Gr{\"o}bner…

Symbolic Computation · Computer Science 2025-05-07 Moulay A. Barkatou , Lucas Legrand , Tristan Vaccon

Given a parametric polynomial ideal I, the algorithm DISPGB, introduced by the author in 2002, builds up a binary tree describing a dichotomic discussion of the different reduced Groebner bases depending on the values of the parameters,…

Commutative Algebra · Mathematics 2007-05-23 Antonio Montes

We consider the problem of computing critical points of the restriction of a polynomial map to an algebraic variety. This is of first importance since the global minimum of such a map is reached at a critical point. Thus, these points…

Symbolic Computation · Computer Science 2012-02-02 Jean-Charles Faugère , Mohab Safey El Din , Pierre-Jean Spaenlehauer

Signature-based algorithms are a popular kind of algorithms for computing Groebner basis, including the famous F5 algorithm, F5C, extended F5, G2V and the GVW algorithm. In this paper, an efficient method is proposed to solve the…

Symbolic Computation · Computer Science 2011-08-08 Yao Sun , Dingkang Wang

(Partial) Gorenstein silting modules are introduced and investigated. It is shown that for finite dimensional algebras of finite CM-type, partial Gorenstein silting modules are in bijection with {\tau}_G-rigid modules; Gorenstein silting…

Representation Theory · Mathematics 2022-09-02 Nan Gao , Jing Ma , Chi-Heng Zhang