English
Related papers

Related papers: Resultant-based Elimination in Ore Algebra

200 papers

The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear…

Optimization and Control · Mathematics 2011-12-08 Jesus A. De Loera , Peter N. Malkin , Pablo A. Parrilo

We give two determinantal representations for a bivariate polynomial. They may be used to compute the zeros of a system of two of these polynomials via the eigenvalues of a two-parameter eigenvalue problem. The first determinantal…

Numerical Analysis · Mathematics 2023-09-18 Bor Plestenjak , Michiel E. Hochstenbach

In this article we present a parallel modular algorithm to compute all solutions with multiplicities of a given zero-dimensional polynomial system of equations over the rationals. In fact, we compute a triangular decomposition using…

Commutative Algebra · Mathematics 2013-06-12 Deeba Afzal , Faira Kanwal , Gerhard Pfister , Stefan Steidel

We design an algorithm to compute the Newton polytope of the resultant, known as resultant polytope, or its orthogonal projection along a given direction. The resultant is fundamental in algebraic elimination, optimization, and geometric…

Symbolic Computation · Computer Science 2013-04-26 Ioannis Z. Emiris , Vissarion Fisikopoulos , Christos Konaxis , Luis Peñaranda

Lazard and Rouillier in [9], by introducing the concept of discriminant variety, have described a new and efficient algorithm for solving parametric polynomial systems. In this paper we modify this algorithm, and we show that with our…

Symbolic Computation · Computer Science 2015-03-19 Asieh Pourhaghani

We adapt an old local-to-global technique of Ore to compute, under certain mild assumptions, an integral basis of a number field without a previous factorization of the discriminant of the defining polynomial. In a first phase, the method…

Number Theory · Mathematics 2015-10-08 Jordi Guàrdia , Enric Nart

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

We have been working in many aspects of the problem of analyzing, understanding and solving ordinary differential equations (first and second order). As we have extensively mentioned, while working in the Darboux type methods, the most…

Mathematical Physics · Physics 2011-04-27 L. G. S. Duarte , L. A. C. P. da Mota

We propose a novel numerical approach to compute the Pareto front in multivariate polynomial multi-objective optimization problems. When the objective functions and (equality) constraints are multivariate polynomials, the Pareto front,…

Optimization and Control · Mathematics 2026-04-06 Hans van Rooij , Christof Vermeersch , Marie Deferme , Bart De Moor

We present a method for the solution of polynomial equations. We do not intend to present one more method among several others, because today there are many excellent methods. Our main aim is educational. Here we attempt to present a method…

General Mathematics · Mathematics 2020-05-05 Nikos Tsirivas

In this research, the Bernoulli polynomials are introduced. The properties of these polynomials are employed to construct the operational matrices of integration together with the derivative and product. These properties are then utilized…

Numerical Analysis · Computer Science 2014-08-12 J. A. Rad , S. Kazem , M. Shaban , K. Parand

A fast and accurate algorithm for solving a Bernstein-Vandermonde linear system is presented. The algorithm is derived by using results related to the bidiagonal decomposition of the inverse of a totally positive matrix by means of Neville…

Numerical Analysis · Mathematics 2007-05-23 A. Marco , J. J. Martinez

We introduce a non-commutative resultant, for slice regular polynomials in two quaternionic variables, defined in terms of a suitable Dieudonn\'e determinant.We use this tool to investigate the existence of common zeros of slice regular…

Complex Variables · Mathematics 2024-03-27 Anna Gori , Giulia Sarfatti , Fabio Vlacci

Let $\cP$ be a system of $n$ linear nonhomogeneous ordinary differential polynomials in a set $U$ of $n-1$ differential indeterminates. Differential resultant formulas are presented to eliminate the differential indeterminates in $U$ from…

Classical Analysis and ODEs · Mathematics 2013-06-04 Sonia L. Rueda

Here the polynomial interpolation approach is used to introduce the main results on multivariate normal algebraic systems. Next we bring a construction which shows that any standard algebraic system, with finite set of solutions, can be…

Numerical Analysis · Mathematics 2025-10-20 H. Hakopian

We describe an algorithm for splitting permutation representations of finite group over fields of characteristic zero into irreducible components. The algorithm is based on the fact that the components of the invariant inner product in…

Representation Theory · Mathematics 2018-03-06 Vladimir V. Kornyak

The Bernstein-B\'ezier form of a polynomial is widely used in the fields of computer aided geometric design, spline approximation theory and, more recently, for high order finite element methods for the solution of partial differential…

Numerical Analysis · Mathematics 2015-11-02 Mark Ainsworth , Manuel A. Sánchez

High index differential algebraic equations (DAEs) are ordinary differential equations (ODEs) with constraints and arise frequently from many mathematical models of physical phenomenons and engineering fields. In this paper, we generalize…

Symbolic Computation · Computer Science 2015-04-21 Xiaolin Qin , Lu Yang , Yong Feng , Bernhard Bachmann , Peter Fritzson

There are several efficient methods to solve linear interval polynomial systems in the context of interval computations, however, the general case of interval polynomial systems is not yet covered as well. In this paper we introduce a new…

Symbolic Computation · Computer Science 2015-06-09 Sajjad Rahmany , Abdolali Basiri , Benyamin M. -Alizadeh

We present an algebraic theory of orthogonal polynomials in several variables that includes classical orthogonal polynomials as a special case. Our bottom line is a straightforward connection between apolarity of binary forms and the inner…

Rings and Algebras · Mathematics 2014-10-20 Pasquale Petrullo , Domenico Senato , Rosaria Simone