Abstract:Gr{ö}bner bases is one the most powerful tools in algorithmic non-linear algebra. Their computation is an intrinsically hard problem with a complexity at least single exponential in the number of variables. However, in most of the cases, the polynomial systems coming from applications have some kind of structure. For example , several problems in computer-aided design, robotics, vision, biology , kinematics, cryptography, and optimization involve sparse systems where the input polynomials have a few non-zero terms. Our approach to exploit sparsity is to embed the systems in a semigroup algebra and to compute Gr{ö}bner bases over this algebra. Up to now, the algorithms that follow this approach benefit from the sparsity only in the case where all the polynomials have the same sparsity structure, that is the same Newton polytope. We introduce the first algorithm that overcomes this restriction. Under regularity assumptions, it performs no redundant computations. Further, we extend this algorithm to compute Gr{ö}bner basis in the standard algebra and solve sparse polynomials systems over the torus $(C*)^n$. The complexity of the algorithm depends on the Newton polytopes.

Algorithms for Garside calculus

New Garside structures and applications to Artin groups

A descent basis for the Garsia-Procesi module

Gorenstein Projective Modules over a Class of Generalized Matrix Algebras and Their Applications

Garside Groups and Yang–Baxter Equation

On some Garsideness properties of structure groups of set-theoretic solutions of the Yang-Baxter equation

A new Garside structure on torus knot groups and some complex braid groups

Decomposition and Structure theorems for Garside-like groups with modular lattice structure

Classifying spaces from Ore categories with Garside families

A charge monomial basis of the Garsia-Procesi ring

A note on Garside monoids and Braces

Algebraic algorithms for vector bundles over curves

Simplicial pseudohyperplane arrangements give weak Garside groups

Numerical Computation of Galois Groups

Uniqueness of roots up to conjugacy in circular and hosohedral-type Garside groups

A Geometric Approach to Cylindrical Algebraic Decomposition

Gr{ö}bner Basis over Semigroup Algebras: Algorithms and Applications for Sparse Polynomial Systems

Groebner--Shirshov bases method for vertex algebras

Algorithms for computing norms and characteristic polynomials on general Drinfeld modules