English
Related papers

Related papers: Solving Polynomial Systems Equation by Equation

200 papers

Convex optimization encompasses a wide range of optimization problems that contain many efficiently solvable subclasses. Interior point methods are currently the state-of-the-art approach for solving such problems, particularly effective…

Optimization and Control · Mathematics 2025-03-28 Andreas Klingler , Tim Netzer

In this paper, a multiplicity preserving triangular set decomposition algorithm is proposed for a system of two polynomials. The algorithm decomposes the variety defined by the polynomial system into unmixed components represented by…

Symbolic Computation · Computer Science 2011-01-20 Jin-San Cheng , Xiao-Shan Gao

We propose a symbolic-numeric algorithm to count the number of solutions of a polynomial system within a local region. More specifically, given a zero-dimensional system $f_1=\cdots=f_n=0$, with $f_i\in\mathbb{C}[x_1,\ldots,x_n]$, and a…

Symbolic Computation · Computer Science 2017-12-18 Ruben Becker , Michael Sagraloff

The method of moments is a classical statistical technique for density estimation that solves a system of moment equations to estimate the parameters of an unknown distribution. A fundamental question critical to understanding…

Methodology · Statistics 2024-06-12 Julia Lindberg , Carlos Améndola , Jose Israel Rodriguez

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

Given an approximation to a multiple isolated solution of a polynomial system of equations, we have provided a symbolic-numeric deflation algorithm to restore the quadratic convergence of Newton's method. Using first-order derivatives of…

Numerical Analysis · Mathematics 2007-05-23 Anton Leykin , Jan Verschelde , Ailing Zhao

We give necessary and sufficient existence criteria, and methods for finding, continuous solutions of linear equations whose coefficients are polynomials.

Classical Analysis and ODEs · Mathematics 2011-03-07 Charles Fefferman , János Kollár

A parallel algorithm for solving a series of matrix equations with a constant tridiagonal matrix and different right-hand sides is proposed and studied. The process of solving the problem is represented in two steps. The first preliminary…

Numerical Analysis · Mathematics 2010-12-07 Andrew Terekhov

Polynomial system solving is a classical problem in mathematics with a wide range of applications. This makes its complexity a fundamental problem in computer science. Depending on the context, solving has different meanings. In order to…

Symbolic Computation · Computer Science 2013-07-16 Jean-Charles Faugère , Pierrick Gaudry , Louise Huot , Guénaël Renault

Numerous scientific and engineering applications require numerically solving systems of equations. Classically solving a general set of polynomial equations requires iterative solvers, while linear equations may be solved either by direct…

Quantum Physics · Physics 2019-07-17 Chia Cheng Chang , Arjun Gambhir , Travis S. Humble , Shigetoshi Sota

While automatically generated polynomial elimination templates have sparked great progress in the field of 3D computer vision, there remain many problems for which the degree of the constraints or the number of unknowns leads to…

Computer Vision and Pattern Recognition · Computer Science 2025-03-27 Xinyue Zhang , Zijia Dai , Wanting Xu , Laurent Kneip

There is presented an algorithm for computing the topological degree for a large class of polynomial mappings. As an application there is given an effective algebraic formula for the intersection number of a polynomial immersion M --> R^2m,…

Algebraic Geometry · Mathematics 2008-07-14 Iwona Karolkiewicz , Aleksandra Nowel , Zbigniew Szafraniec

The definition of the intersection number of a map with a closed manifold can be extended to the case of a closed stratified set such that the difference between dimensions of its two biggest strata is greater than $1$. The set Sigma of…

Differential Geometry · Mathematics 2021-01-08 Iwona Krzyżanowska , Aleksandra Nowel

Inspired by the work about solutions of a system of real polynomial equations done by Hermite, this paper introduces a Hermitian form, which encodes information about solutions of a system of complex polynomial equations with conjugate…

Algebraic Geometry · Mathematics 2024-12-05 Davide Furchì

A polyhedral method to solve a system of polynomial equations exploits its sparse structure via the Newton polytopes of the polynomials. We propose a hybrid symbolic-numeric method to compute a Puiseux series expansion for every space curve…

Symbolic Computation · Computer Science 2016-06-20 Nathan Bliss , Jan Verschelde

We present a new algorithm for solving the real roots of a bivariate polynomial system $\Sigma=\{f(x,y),g(x,y)\}$ with a finite number of solutions by using a zero-matching method. The method is based on a lower bound for bivariate…

Symbolic Computation · Computer Science 2010-01-19 Xiaolin Qin , Yong Feng , Jingwei Chen , Jingzhong Zhang

This study develops a novel multiscale computational method for heat conduction problems of composite structures with diverse periodic configurations in different subdomains. Firstly, the second-order two-scale (SOTS) solutions for these…

Numerical Analysis · Mathematics 2017-12-08 Hao Dong , Junzhi Cui , Yufeng Nie , Zihao Yang

The usual univariate interpolation problem of finding a monic polynomial f of degree n that interpolates n given values is well understood. This paper studies a variant where f is required to be composite, say, a composition of two…

Algebraic Geometry · Mathematics 2021-03-31 Joachim von zur Gathen , Guillermo Matera

We present a new algorithm for computing hyperexponential solutions of ordinary linear differential equations with polynomial coefficients. The algorithm relies on interpreting formal series solutions at the singular points as analytic…

Symbolic Computation · Computer Science 2013-01-14 Fredrik Johansson , Manuel Kauers , Marc Mezzarobba

Parametric linear systems are linear systems of equations in which some symbolic parameters, that is, symbols that are not considered to be candidates for elimination or solution in the course of analyzing the problem, appear in the…

Rings and Algebras · Mathematics 2025-09-01 Robert M. Corless , Mark Giesbrecht , Leili Rafiee Sevyeri , B. David Saunders