English
Related papers

Related papers: An Elimination Method for Solving Bivariate Polyno…

200 papers

Computing more than one eigenvalue for (large sparse) one-parameter polynomial and general nonlinear eigenproblems, as well as for multiparameter linear and nonlinear eigenproblems, is a much harder task than for standard eigenvalue…

Numerical Analysis · Mathematics 2021-10-19 Michiel E. Hochstenbach , Bor Plestenjak

It is well-known that every non-negative univariate real polynomial can be written as the sum of two polynomial squares with real coefficients. When one allows a weighted sum of finitely many squares instead of a sum of two squares, then…

Symbolic Computation · Computer Science 2017-06-14 Victor Magron , Mohab Safey El Din , Markus Schweighofer

We present a new data structure to approximate accurately and efficiently a polynomial $f$ of degree $d$ given as a list of coefficients. Its properties allow us to improve the state-of-the-art bounds on the bit complexity for the problems…

Symbolic Computation · Computer Science 2021-11-30 Guillaume Moroz

Let $f, f_1, \ldots, f_\nV$ be polynomials with rational coefficients in the indeterminates $\bfX=X_1, \ldots, X_n$ of maximum degree $D$ and $V$ be the set of common complex solutions of $\F=(f_1,\ldots, f_\nV)$. We give an algorithm…

Symbolic Computation · Computer Science 2014-05-08 Aurélien Greuet , Mohab Safey El Din

We present algorithms to solve coupled systems of linear differential equations, arising in the calculation of massive Feynman diagrams with local operator insertions at 3-loop order, which do {\it not} request special choices of bases.…

Symbolic Computation · Computer Science 2016-01-11 Jakob Ablinger , Johannes Bluemlein , Abilio de Freitas , Carsten Schneider

Multi-homogeneous polynomial systems arise in many applications. We provide bit complexity estimates for solving them which, up to a few extra other factors, are quadratic in the number of solutions and linear in the height of the input…

Symbolic Computation · Computer Science 2017-12-12 Mohab Safey El Din , Eric Schost

A new necessary and sufficient condition for the existence of minor left prime factorizations of multivariate polynomial matrices without full row rank is presented. The key idea is to establish a relationship between a matrix and its full…

Symbolic Computation · Computer Science 2020-10-15 Dong Lu , Dingkang Wang , Fanghui Xiao

In the recent years, several polynomial algorithms of a dynamical nature have been proposed to address the graph isomorphism problem. In this paper we propose a generalization of an approach exposed in cond-mat/0209112 and find that this…

Computational Complexity · Computer Science 2007-05-23 Marats Golovkins

In this paper, we investigate numerical solutions for inverse singular value problems (for short, ISVPs) arising in various applications. Inspired by the methodologies employed for inverse eigenvalue problems, we propose a Cayley-free…

Numerical Analysis · Mathematics 2026-02-03 Jiechang Fan , Weiping Shen , Yusong Luo , Enping Lou

We present fully polynomial approximation schemes for a broad class of Holant problems with complex edge weights, which we call Holant polynomials. We transform these problems into partition functions of abstract combinatorial structures…

Data Structures and Algorithms · Computer Science 2023-06-22 Katrin Casel , Philipp Fischbeck , Tobias Friedrich , Andreas Göbel , J. A. Gregor Lagodzinski

A novel method with two variations is proposed with which the number of positive and negative zeros of a polynomial with real coefficients and degree $n$ can be restricted with significantly better determinacy than that provided by the…

General Mathematics · Mathematics 2021-06-11 Emil M. Prodanov

Efficient solution of the lowest eigenmodes is studied for a family of related eigenvalue problems with common $2\times 2$ block structure. It is assumed that the upper diagonal block varies between different versions while the lower…

Numerical Analysis · Mathematics 2020-06-19 Antti Hannukainen , Jarmo Malinen , Antti Ojalammi

The analysis of observable phenomena (for instance, in biology or physics) allows the detection of dynamical behaviors and, conversely, starting from a desired behavior allows the design of objects exhibiting that behavior in engineering.…

Discrete Mathematics · Computer Science 2026-04-10 Antonio E. Porreca , Marius Rolland

In this paper, we tackle the parametric complete multiplicity problem for a univariate polynomial. Our approach to the parametric complete multiplicity problem has a significant difference from the classical method, which relies on repeated…

Symbolic Computation · Computer Science 2024-12-31 Simin Qin , Bican Xia , Jing Yang

We consider systems of polynomial equations and inequalities in $\mathbb{Q}[\boldsymbol{y}][\boldsymbol{x}]$ where $\boldsymbol{x} = (x_1, \ldots, x_n)$ and $\boldsymbol{y} = (y_1, \ldots,y_t)$. The $\boldsymbol{y}$ indeterminates are…

Symbolic Computation · Computer Science 2025-01-27 Louis Gaillard , Mohab Safey El Din

We present a simple and at the same time fficient algorithm to compute all nondominated extreme points in the outcome set of multi-objective mixed integer linear programmes in any dimension. The method generalizes the well-known dichotomic…

Optimization and Control · Mathematics 2019-11-21 Anthony Przybylski , Kathrin Klamroth , Renaud Lacour

In this work we present a method, based on the use of Bernstein polynomials, for the numerical resolution of some boundary values problems. The computations have not need of particular approximations of derivatives, such as finite…

Numerical Analysis · Mathematics 2025-10-20 Gianluca Argentini

In this paper, we present a modular strategy which describes key properties of the absolute primary decomposition of an equidimensional polynomial ideal defined by polynomials with rational coefficients. The algorithm we design is based on…

Commutative Algebra · Mathematics 2010-12-24 Cristina Bertone

Let $K$ be a field and $P=K[x_1,\dots,x_n]$. The technique of elimination by substitution is based on discovering a coherently $Z=(z_1,\dots,z_s)$-separating tuple of polynomials $(f_1,\dots,f_s)$ in an ideal $I$, i.e., on finding…

Commutative Algebra · Mathematics 2024-03-12 Martin Kreuzer , Lorenzo Robbiano

We describe, study, and experiment with an algorithm for finding all solutions of systems of polynomial equations using homotopy continuation and monodromy. This algorithm follows a framework developed in previous work and can operate in…

Symbolic Computation · Computer Science 2018-06-01 Nathan Bliss , Timothy Duff , Anton Leykin , Jeff Sommars