English
Related papers

Related papers: A polyhedral approach to computing border bases

200 papers

Hadamard ideals were introduced in 2006 as a set of nonlinear polynomial equations whose zeros are uniquely related to Hadamard matrices with one or two circulant cores of a given order. Based on this idea, the cocyclic Hadamard test enable…

Combinatorics · Mathematics 2019-01-08 V. Álvarez , J. A. Armario , R. M. Falcón , M. D. Frau , F. Gudiel

In this paper we present a new methodology for solving multiobjective integer linear programs using tools from algebraic geometry. We introduce the concept of partial Gr\"obner basis for a family of multiobjective programs where the…

Optimization and Control · Mathematics 2008-06-19 Victor Blanco , Justo Puerto

Computing Gr\"obner bases is known to have a very high upper bound on computation time with respect to input length. Due to the connection between polyhedral geometry and Gr\"obner bases through the Gr\"obner fan, one can attempt an…

Commutative Algebra · Mathematics 2026-05-27 Kamillo Ferry , Francesco Nowell

A contemporary and exciting application of Groebner bases is their use in computational biology, particularly in the reverse engineering of gene regulatory networks from experimental data. In this setting, the data are typically limited to…

Commutative Algebra · Mathematics 2019-07-10 Winfried Just , Brandilyn Stigler

A \textit{symmetric ideal} $I \subseteq R = K[x_1,x_2,...]$ is an ideal that is invariant under the natural action of the infinite symmetric group. We give an explicit algorithm to find Gr\"obner bases for symmetric ideals in the infinite…

Commutative Algebra · Mathematics 2008-01-30 Matthias Aschenbrenner , Christopher J. Hillar

Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic operations, differentiation, and zero testing. We show that,…

Commutative Algebra · Mathematics 2021-08-31 Wei Li , Alexey Ovchinnikov , Gleb Pogudin , Thomas Scanlon

What can be (machine) learned about the complexity of Buchberger's algorithm? Given a system of polynomials, Buchberger's algorithm computes a Gr\"obner basis of the ideal these polynomials generate using an iterative procedure based on…

Commutative Algebra · Mathematics 2023-06-07 Jelena Mojsilović , Dylan Peifer , Sonja Petrović

We identify a common scheme in several existing algorithms addressing computational problems on linear differential equations with polynomial coefficients. These algorithms reduce to computing a linear relation between vectors obtained as…

Symbolic Computation · Computer Science 2025-05-05 Louis Gaillard

Multiobjective discrete programming is a well-known family of optimization problems with a large spectrum of applications. The linear case has been tackled by many authors during the last years. However, the polynomial case has not been…

Optimization and Control · Mathematics 2011-01-24 Víctor Blanco , Justo Puerto

An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by…

Algebraic Geometry · Mathematics 2012-11-22 Robert Krone

This paper presents a conception for computing gr\"{o}bner basis. We convert some of gr\"{o}bner-computing algorithms, e.g., F5, extended F5 and GWV algorithms into a special type of algorithm. The new algorithm's finite termination problem…

Symbolic Computation · Computer Science 2010-12-30 Lei Huang

We provide necessary and sufficient conditions for simplicial complexes whose determinantal facet ideals admit reduced Grobner bases under diagonal term orders. Building on and extending foundational results for binomial edge ideals and…

Commutative Algebra · Mathematics 2026-01-27 Fahimeh Khosh-Ahang Ghasr

Parametric Gr\"obner bases have been studied for more than 15 years and are now a further developed subject. Here we propose a general study of parametric standard bases, that is with local orders. We mainly focus on the commutative case…

Commutative Algebra · Mathematics 2007-05-23 Rouchdi Bahloul

In this article we present two new algorithms to compute the Groebner basis of an ideal that is invariant under certain permutations of the ring variables and which are both implemented in SINGULAR (cf. [DGPS12]). The first and major…

Commutative Algebra · Mathematics 2013-04-10 Stefan Steidel

An algorithm is presented that generates sets of size equal to the degree of a given variety defined by a homogeneous ideal. This algorithm suggests a versatile framework to study various problems in combinatorial algebraic geometry and…

Combinatorics · Mathematics 2023-06-02 Ada Stelzer , Alexander Yong

In this paper we propose a method that uses Lagrange multipliers and numerical algebraic geometry to find all critical points, and therefore globally solve, polynomial optimization problems. We design a polyhedral homotopy algorithm that…

Optimization and Control · Mathematics 2023-02-10 Julia Lindberg , Leonid Monin , Kemal Rose

We give a criterion for a collection of polynomials to be a universal Gr\"{o}bner basis for an ideal in terms of the multidegree of the closure of the corresponding affine variety in $(\mathbb{P}^1)^N$. This criterion can be used to give…

Algebraic Geometry · Mathematics 2024-11-27 Daoji Huang , Matt Larson

The computation of Gr\"obner bases is an established hard problem. By contrast with many other problems, however, there has been little investigation of whether this hardness is robust. In this paper, we frame and present results on the…

Symbolic Computation · Computer Science 2018-07-18 Gwen Spencer , David Rolnick

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

The new type of ideal basis introduced herein constitutes a compromise between the Gr\"obner bases based on the Buchberger's algorithm and the characteristic sets based on the Wu's method. It reduces the complexity of the traditional…

Symbolic Computation · Computer Science 2022-02-22 Sheng-Ming Ma
‹ Prev 1 4 5 6 7 8 10 Next ›