English
Related papers

Related papers: Resultant Tools for Parametric Polynomial Systems …

200 papers

In many high-dimensional problems,polynomial-time algorithms fall short of achieving the statistical limits attainable without computational constraints. A powerful approach to probe the limits of polynomial-time algorithms is to study the…

Statistics Theory · Mathematics 2025-07-11 Bertrand Even , Christophe Giraud , Nicolas Verzelen

In this note, we consider the resultant of systems of homogeneous multivariate polynomials which are equivariant under the action of direct product of two symmetric groups. We establish a decomposition formula for the resultant of such…

Commutative Algebra · Mathematics 2025-09-01 Sonagnon Julien Owolabi , Ibrahim Nonkane , Joel Tossa

This paper presents a generalization of our earlier work in [19]. In this paper, the two concepts, generic regular decomposition (GRD) and regular-decomposition-unstable (RDU) variety introduced in [19] for generic zero-dimensional systems,…

Symbolic Computation · Computer Science 2013-01-18 Zhenghong Chen , Xiaoxian Tang , Bican Xia

In this paper we give a new and simple algorithm to put any multivariate polynomial into a normal determinant form in which each entry has the form , and in each column the same variable appears. We also apply the algorithm to obtain a…

Numerical Analysis · Mathematics 2019-03-21 Massimo Salvi

In this paper we propose a conseptual framework for the observed properties of discriminants of polylinear forms. The connection with classical problems of linear algebra is shown. A new class of algebraic varieties (hypergrassmanians) is…

alg-geom · Mathematics 2008-02-03 Valerii V. Dolotin

Constructive methods for matrices of multihomogeneous (or multigraded) resultants for unmixed systems have been studied by Weyman, Zelevinsky, Sturmfels, Dickenstein and Emiris. We generalize these constructions to mixed systems, whose…

Symbolic Computation · Computer Science 2010-02-03 Ioannis Z. Emiris , Angelos Mantzaflaris

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

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

Resultants and Gr\"obner bases are crucial tools in studying polynomial elimination theory. We investigate relations between the variety of the resultant of two polynomials and the variety of the ideal they generate. Then we focus on the…

Commutative Algebra · Mathematics 2015-11-02 Matteo Gallet , Hamid Rahkooy , Zafeirakis Zafeirakopoulos

In this paper we discuss three symbolic approaches for the generation of a finite difference scheme of a partial differential equation (PDE). We prove, that for a linear PDE with constant coefficients these three approaches are equivalent…

Mathematical Physics · Physics 2019-03-06 Viktor Levandovskyy , Bernd Martin

Minimal problems in computer vision raise the demand of generating efficient automatic solvers for polynomial equation systems. Given a polynomial system repeated with different coefficient instances, the traditional Gr\"obner basis or…

Computer Vision and Pattern Recognition · Computer Science 2020-04-27 Bo Li , Viktor Larsson

Estimating causal effects from observational data (at either an individual -- or a population -- level) is critical for making many types of decisions. One approach to address this task is to learn decomposed representations of the…

Machine Learning · Computer Science 2021-11-15 Negar Hassanpour , Russell Greiner

We propose a method for variable selection in discriminant analysis with mixed categorical and continuous variables. This method is based on a criterion that permits to reduce the variable selection problem to a problem of estimating…

Statistics Theory · Mathematics 2017-03-14 Alban Mbina Mbina , Guy Martial Nkiet , Fulgence Eyi Obiang

Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue:…

Symbolic Computation · Computer Science 2010-05-17 Changbo Chen , James H. Davenport , John P. May , Marc Moreno Maza , Bican Xia , Rong Xiao

Within recent years, considerable progress has been made regarding high-performance solvers for Partial Differential Equations (PDEs), yielding potential gains in efficiency compared to industry standard tools. However, the latter largely…

Numerical Analysis · Mathematics 2024-02-20 Patrick Zimbrod , Michael Fleck , Johannes Schilp

Computation biology helps to understand all processes in organisms from interaction of molecules to complex functions of whole organs. Therefore, there is a need for mathematical methods and models that deliver logical explanations in a…

Molecular Networks · Quantitative Biology 2018-10-10 Ines Abdeljaoued-Tej , Alia BenKahla , Ghassen Haddad , Annick Valibouze

Given a system of n homogeneous polynomials in n variables which is equivariant with respect to the canonical actions of the symmetric group of n symbols on the variables and on the polynomials, it is proved that its resultant can be…

Commutative Algebra · Mathematics 2014-07-11 Laurent Busé , Anna Karasoulou

In this paper, a novel parallel hybrid iterative method is proposed for finding a common element of the set of solutions of a system of equilibrium problems, the set of solutions of variational inequalities for inverse strongly monotone…

Optimization and Control · Mathematics 2015-10-28 Dang Van Hieu

Many computer vision applications require robust and efficient estimation of camera geometry. The robust estimation is usually based on solving camera geometry problems from a minimal number of input data measurements, i.e., solving minimal…

Computer Vision and Pattern Recognition · Computer Science 2020-07-21 Snehal Bhayani , Zuzana Kukelova , Janne Heikkilä

In April 2025 GMV announced a competition for finding the best method to solve a particular polynomial system over a finite field. In this paper we provide a method for solving the given equation system significantly faster than what is…

Computational Complexity · Computer Science 2026-03-06 Àngela Barbero , Ragnar Freij-Hollanti , Camilla Hollanti , Håvard Raddum , Øyvind Ytrehus , Morten Øygarden