English
Related papers

Related papers: Linear sparse differential resultant formulas

200 papers

Differential resultant formulas are defined, for a system $\mathcal{P}$ of $n$ ordinary Laurent differential polynomials in $n-1$ differential variables. These are determinants of coefficient matrices of an extended system of polynomials…

Analysis of PDEs · Mathematics 2015-11-25 Sonia L. Rueda

The sparse difference resultant introduced in \citep{gao-2015} is a basic concept in difference elimination theory. In this paper, we show that the sparse difference resultant of a generic Laurent transformally essential system can be…

Symbolic Computation · Computer Science 2021-04-21 Chun-Ming Yuan , Zhi-Yong Zhang

The linear complete differential resultant of a finite set of linear ordinary differential polynomials is defined. We study the computation by linear complete differential resultants of the implicit equation of a system of $n$ linear…

Classical Analysis and ODEs · Mathematics 2012-04-10 Sonia L. Rueda , J. Rafael Sendra

In this paper, we first introduce the concept of Laurent differentially essential systems and give a criterion for Laurent differentially essential systems in terms of their supports. Then the sparse differential resultant for a Laurent…

Symbolic Computation · Computer Science 2012-06-19 Wei Li , Chun-Ming Yuan , Xiao-Shan Gao

In this paper, the concept of sparse difference resultant for a Laurent transformally essential system of difference polynomials is introduced and a simple criterion for the existence of sparse difference resultant is given. The concept of…

Symbolic Computation · Computer Science 2013-09-25 Wei Li , Chun-Ming Yuan , Xiao-Shan Gao

Let $\bbK$ be an ordinary differential field with derivation $\partial$. Let $\cP$ be a system of $n$ linear differential polynomial parametric equations in $n-1$ differential parameters with implicit ideal $\id$. Given a nonzero linear…

Classical Analysis and ODEs · Mathematics 2012-04-10 Sonia L. Rueda

In this paper, a matrix representation for the differential resultant of two generic ordinary differential polynomials $f_1$ and $f_2$ in the differential indeterminate $y$ with order one and arbitrary degree is given. That is, a…

Symbolic Computation · Computer Science 2012-04-18 Zhi-Yong Zhang , Chun-Ming Yuan , Xiao-Shan Gao

We give the first exact determinantal formula for the resultant of an unmixed sparse system of four Laurent polynomials in three variables with arbitrary support. This follows earlier work by the author on exact formulas for bivariate…

Algebraic Geometry · Mathematics 2009-09-29 Amit Khetan

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 matrices and we say that there exists a determinantal formula…

Commutative Algebra · Mathematics 2021-05-28 Matías R. Bender , Jean-Charles Faugère , Angelos Mantzaflaris , Elias Tsigaridas

It has by now become a standard approach to use the theory of sparse (or toric) elimination, based on the Newton polytope of a polynomial, in order to reveal and exploit the structure of algebraic systems. This talk surveys compact…

Computational Complexity · Computer Science 2017-10-16 Ioannis Emiris

We review the definition and main properties of differential subresultants in order to achieve their implementation in Maple, using the DEtools package. The focus is on computing GCRDs of ordinary differential operators with non necessarily…

Symbolic Computation · Computer Science 2025-12-08 M. Cabellos , S. L. Rueda

We present formulas for computing the resultant of sparse polynomials as a quotient of two determinants, the denominator being a minor of the numerator. These formulas extend the original formulation given by Macaulay for homogeneous…

Algebraic Geometry · Mathematics 2007-05-23 Carlos D'Andrea

The differential constraints are applied to obtain explicit solutions of nonlinear diffusion equations. Certain linear determining equations with parameters are used to find such differential constraints. They generalize the determining…

Mathematical Physics · Physics 2009-11-07 Oleg V. Kaptsov , Igor V. Verevkin

In this survey, we give an overview of advances in the theory and computation of sparse resultants. First, we examine the construction and proof of the Canny-Emiris formula, which gives a rational determinantal formula. Second, we discuss…

Algebraic Geometry · Mathematics 2026-02-17 Carles Checa , Ioannis Z. Emiris , Christos Konaxis

In this paper, the result of applying iterative univariate resultant constructions to multivariate polynomials is analyzed. We consider the input polynomials as generic polynomials of a given degree and exhibit explicit decompositions into…

Symbolic Computation · Computer Science 2008-10-29 Laurent Busé , Bernard Mourrain

A new matrix operation based on inserting columns and rows, similarly to the mediant operation between fractions, gives rise to the Farey determinants matrix or, equivalently, the matrix of the numerators of the differences of Farey…

Number Theory · Mathematics 2018-09-25 Rogelio Tomas

An explicit formula to find symmetry recursion operators for partial differential equations (PDEs) is obtained from new results connecting variational integrating factors and non-variational symmetries. The formula is special case of a…

Mathematical Physics · Physics 2023-01-11 Stephen C. Anco , Bao Wang

Recently, the non-linear Changhee differential equations were introduced in [5] and these differential equations turned out to be very useful for studying special polynomials and mathematical physics. Some interesting identities and…

Number Theory · Mathematics 2016-03-01 Dmitry V. Dolgy , Dae san Kim , Taekyun Kim , Jong-Jin Seo

In this paper, we consider the problem of formulating the subresultant polynomials for several univariate polynomials in Newton basis. It is required that the resulting subresultant polynomials be expressed in the same Newton basis as that…

Symbolic Computation · Computer Science 2024-09-11 Weidong Wang , Jing Yang

We consider the problem of complex root classification, i.e., finding the conditions on the coefficients of a univariate polynomial for all possible multiplicity structures on its complex roots. It is well known that such conditions can be…

Symbolic Computation · Computer Science 2024-09-11 Hoon Hong , Jing Yang
‹ Prev 1 2 3 10 Next ›