activity
20182022
collaborators

7 papers

cs.SC2022

Solving sparse polynomial systems using Groebner bases and resultants

Matías R. Bender

Solving systems of polynomial equations is a central problem in nonlinear and computational algebra. Since Buchberger's algorithm for computing Gröbner bases in the 60s, there has…

math.AC2021

Classifier construction in Boolean networks using algebraic methods

Robert Schwieger, Matías R. Bender, Heike Siebert +1

We investigate how classifiers for Boolean networks (BNs) can be constructed and modified under constraints. A typical constraint is to observe only states in attractors or even mo…

math.AC2021

Koszul-type determinantal formulas for families of mixed multilinear systems

Matías R. Bender, Jean-Charles Faugère, Angelos Mantzaflaris +1

Effective computation of resultants is a central problem in elimination theory and polynomial system solving. Commonly, we compute the resultant as a quotient of determinants of ma…

cs.SC2019

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

Matías Bender, Jean-Charles Faugère, Elias Tsigaridas

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 i…

cs.SC2018

A nearly optimal algorithm to decompose binary forms

Matías Bender, Jean-Charles Faugère, Ludovic Perret +1

Symmetric tensor decomposition is an important problem with applications in several areas for example signal processing, statistics, data analysis and computational neuroscience. I…

cs.SC2018

Towards Mixed Gr{ö}bner Basis Algorithms: the Multihomogeneous and Sparse Case

Matías Bender, Jean-Charles Faugère, Elias Tsigaridas

One of the biggest open problems in computational algebra is the design of efficient algorithms for Gr{ö}bner basis computations that take into account the sparsity of the input po…