## 11 Citations

### Complexity of constructing Dixon resultant matrix

- Computer Science, MathematicsInt. J. Comput. Math.
- 2017

A detailed analysis of the computational complexity of the recurrence formula for the general multivariate setting is presented and three bivariate polynomials are generalized to thegeneral multivariate case by using the construction of standard Dixon resultant matrix.

### Variety Membership Testing, Algebraic Natural Proofs, and Geometric Complexity Theory

- MathematicsArXiv
- 2019

The stabilizers of the tensors that generate the orbit closures of the two varieties are determined and proved to be almost characterized by their symmetries, a promising sign that the GCT approach might indeed be successful.

### Bit complexity for multi-homogeneous polynomial system solving - Application to polynomial minimization

- Mathematics, Computer ScienceJ. Symb. Comput.
- 2018

### Optimization Algorithm for Reduction the Size of Dixon Resultant Matrix: A Case Study on Mechanical Application

- Computer ScienceComputers, Materials & Continua
- 2019

This paper aims at reducing the number of extraneous factors via optimizing the size of Dixon matrix through an optimization algorithm along with a number of new polynomials to replace the polynomial system.

### Processing Succinct Matrices and Vectors

- Computer ScienceTheory of Computing Systems
- 2015

It is shown that accessing an entry, equality checking, matrix multiplication, and other basic matrix operations can be solved in polynomial time for + MTDD-represented matrices.

### Quantum Merlin Arthur with Exponentially Small Gap

- MathematicsArXiv
- 2016

We study the complexity of QMA proof systems with inverse exponentially small promise gap. We show that this class can be exactly characterized by PSPACE, the class of problems solvable with a…

### Quantum Merlin Arthur with Exponentially Small Gap Bill Fefferman

- Mathematics
- 2016

We will study the complexity of QMA proof systems with inverse exponentially small promise gap. We will show that this class, QMAexp, can be exactly characterized by PSPACE, the class of problems…

### Représentations des polynômes, algorithmes et bornes inférieures

- Mathematics
- 2012

La complexite algorithmique est l'etude des ressources necessaires — le temps, la memoire, … — pour resoudre un probleme de maniere algorithmique. Dans ce cadre, la theorie de la complexite…

## References

SHOWING 1-10 OF 57 REFERENCES

### The Multivariate Resultant Is NP-hard in Any Characteristic

- Mathematics, Computer ScienceMFCS
- 2010

The main result is that testing the resultant for zero is NP-hard under deterministic reductions in any characteristic, for systems of low-degree polynomials with coefficients in the ground field (rather than in an extension).

### Solving systems of nonlinear polynomial equations faster

- MathematicsISSAC '89
- 1989

This paper considers projective problems, that is, the polynomials are homogeneous and the solutions are sought in n-dimensional projective space, and shows that the solutions of an affine system are specializations of the solution rays of its homogenized projective version.

### Matrices in Elimination Theory

- MathematicsJ. Symb. Comput.
- 1999

This survey unifies the existing work on resultants, with emphasis on constructing matrices that generalize the classic matrices named after Sylvester, Bezout and Macaulay, and presents the properties of the different matrix formulations.

### Fast parallel matrix inversion algorithms

- Computer Science, Mathematics16th Annual Symposium on Foundations of Computer Science (sfcs 1975)
- 1975

It will be shown in the sequel that the parallel arithmetic complexity of all these four problems is upper bounded by O(log2n) and the algorithms that establish this bound use a number of processors polynomial in n, disproves I. Munro's conjecture.

### On the Intrinsic Complexity of Elimination Theory

- Computer Science, MathematicsJ. Complex.
- 1993

The intrinsic complexity of selected algorithmic problems of classical elimination theory in algebraic geometry is considered and reductions of fundamental questions of elimination theory to NP- and P#-complete problems are given and it is confirmed that some of these questions may have exponential size outputs.

### Algebraic and geometric reasoning using Dixon resultants

- MathematicsISSAC '94
- 1994

Experimental results suggest that the resultant of a set of polynomials which are symmetric in the variables is relatively easier to compute using the extended Dixon's method.

### Comparison of various multivariate resultant formulations

- MathematicsISSAC '95
- 1995

Compared methods for computing nontrivial projection operators, it is shown that the Dixon matrix is smaller than the sparse resultant matrix which is (by a factor up to O(e’) for a certain class) bigger than the Macaulay matrix.

### Sharp estimates for the arithmetic Nullstellensatz

- Mathematics
- 1999

We present sharp estimates for the degree and the height of the polynomials in the Nullstellensatz over the integer ring ZZ . The result improves previous work of Philippon, Berenstein-Yger and…