English
Related papers

Related papers: A note on Solving Parametric Polynomial Systems

200 papers

The Kaczmarz method for solving linear systems of equations is an iterative algorithm that has found many applications ranging from computer tomography to digital signal processing. Despite the popularity of this method, useful theoretical…

Numerical Analysis · Mathematics 2007-05-23 Thomas Strohmer , Roman Vershynin

In a recent paper Lima, Panario and Wang have provided a new method to multiply polynomials in Chebyshev basis which aims at reducing the total number of multiplication when polynomials have small degree. Their idea is to use Karatsuba's…

Computational Complexity · Computer Science 2013-09-10 Pascal Giorgi

We study the complexity of computing the real solutions of a bivariate polynomial system using the recently proposed algorithm BISOLVE. BISOLVE is a classical elimination method which first projects the solutions of a system onto the $x$-…

Symbolic Computation · Computer Science 2015-03-19 Pavel Emeliyanenko , Michael Sagraloff

The paper concerns the solvability by quadratures of linear differential systems, which is one of the questions of differential Galois theory. We consider systems with regular singular points as well as those with (non-resonant) irregular…

Classical Analysis and ODEs · Mathematics 2013-12-10 Renat Gontsov , Ilya Vyugin

We consider the problem of interpolating an unknown multivariate polynomial with coefficients taken from a finite field or as numerical approximations of complex numbers. Building on the recent work of Garg and Schost, we improve on the…

Symbolic Computation · Computer Science 2011-04-05 Mark Giesbrecht , Daniel S. Roche

In this paper we relate a number of parsing algorithms which have been developed in very different areas of parsing theory, and which include deterministic algorithms, tabular algorithms, and a parallel algorithm. We show that these…

cmp-lg · Computer Science 2008-02-03 Mark-Jan Nederhof

An algorithm and associated strategy for solving polynomial systems within the optimization framework is presented. The algorithm and strategy are named, respectively, the penetrating gradient algorithm and the deepest descent strategy. The…

Optimization and Control · Mathematics 2015-01-15 Nikica Hlupic , Ivo Beros

In recent years, the combinatorial properties of monomials ideals and binomial ideals have been widely studied. In particular, combinatorial interpretations of free resolution algorithms have been given in both cases. In this present work,…

Commutative Algebra · Mathematics 2014-10-06 Trevor McGuire

We give an algorithm for deciding whether a planar polynomial differential system has a first integral which factorizes as a product of defining polynomials of curves with only one place at infinity. In the affirmative case, our algorithm…

Classical Analysis and ODEs · Mathematics 2014-10-15 A. Ferragut , C. Galindo , F. Monserrat

In this paper, binomial difference ideals are studied. Three canonical representations for Laurent binomial difference ideals are given in terms of the reduced Groebner basis of Z[x]-lattices, regular and coherent difference ascending…

Symbolic Computation · Computer Science 2016-03-15 Xiao-Shan Gao , Zhang Huang , Chun-Ming Yuan

We propose a general methodology for testing whether a given polynomial with integer coefficients is identically zero. The methodology evaluates the polynomial at efficiently computable approximations of suitable irrational points. In…

Data Structures and Algorithms · Computer Science 2007-05-23 Zhi-Zhong Chen , Ming-Yang Kao

The method of this paper is my original creation. A new method for solving linear differential equations is proposed in this paper. The important conclusion of this paper is that arbitrary order linear ordinary differential equations with…

General Mathematics · Mathematics 2018-06-05 Daiyuan Zhang

A novel method, connecting the space of solutions of a linear differential equation, of arbitrary order, to the space of monomials, is used for exploring the algebraic structure of the solution space. Apart from yielding new expressions for…

Mathematical Physics · Physics 2007-05-23 N. Gurappa , Prasanta K. Panigrahi , T. Shreecharan

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

Triangular decomposition is one of the standard ways to represent the radical of a polynomial ideal. A general algorithm for computing such a decomposition was proposed by A. Szanto. In this paper, we give the first complete bounds for the…

Algebraic Geometry · Mathematics 2018-09-18 Eli Amzallag , Gleb Pogudin , Mengxiao Sun , Thieu N. Vo

We consider the following problem: Given a rational matrix $A \in \setQ^{m \times n}$ and a rational polyhedron $Q \subseteq\setR^{m+p}$, decide if for all vectors $b \in \setR^m$, for which there exists an integral $z \in \setZ^p$ such…

Optimization and Control · Mathematics 2008-01-29 Friedrich Eisenbrand , Gennady Shmonin

Based on the Bezout approach we propose a simple algorithm to determine the {\tt gcd} of two polynomials which doesn't need division, like the Euclidean algorithm, or determinant calculations, like the Sylvester matrix algorithm. The…

Symbolic Computation · Computer Science 2022-01-19 Pasquale Nardone , Giorgio Sonnino

We generalize the differential dimension polynomial from prime differential ideals to characterizable differential ideals. Its computation is algorithmic, its degree and leading coefficient remain differential birational invariants, and it…

Commutative Algebra · Mathematics 2014-01-25 Markus Lange-Hegermann

We propose a method based on minimum-variance polynomial approximation to extract system poles from a data set of samples of the impulse response of a linear system. The method is capable of handling the problem under general conditions of…

Systems and Control · Computer Science 2018-02-16 Pradip Sircar

Recently, Mboup, Join and Fliess [27], [28] introduced non-asymptotic integer order differentiators by using an algebraic parametric estimation method [7], [8]. In this paper, in order to obtain non-asymptotic fractional order…

Numerical Analysis · Mathematics 2012-07-03 Dayan Liu , Olivier Gibaru , Wilfrid Perruquetti