Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation 2018
DOI: 10.1145/3208976.3209020
|View full text |Cite
|
Sign up to set email alerts
|

On Computing the Resultant of Generic Bivariate Polynomials

Abstract: An algorithm is presented for computing the resultant of two generic bivariate polynomials over a field K. For such p and q in K[x, y] both of degree d in x and n in y, the algorithm computes the resultant with respect to y using (n 2−1/ω d ) 1+o(1) arithmetic operations in K, where two n × n matrices are multiplied using O (n ω ) operations. Previous algorithms required time ( n 2 d ) 1+o(1) .The resultant is the determinant of the Sylvester matrix S (x ) of p and q, which is an n × n Toeplitz-like polynomial… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
52
0

Year Published

2019
2019
2025
2025

Publication Types

Select...
5
1

Relationship

1
5

Authors

Journals

citations
Cited by 18 publications
(52 citation statements)
references
References 55 publications
0
52
0
Order By: Relevance
“…We conclude this paper with algorithms originating from Villard's recent breakthrough on computing the determinant of structured polynomial matrices [49]. Fix a field K and consider the two following questions: computing the resultant of two polynomials F , G in K[x, z] with respect to z, and computing the characteristic polynomial of an element A in K[z]/(P), for some P in K[z].…”
Section: Applications To Bivariate Resultantsmentioning
confidence: 99%
See 3 more Smart Citations
“…We conclude this paper with algorithms originating from Villard's recent breakthrough on computing the determinant of structured polynomial matrices [49]. Fix a field K and consider the two following questions: computing the resultant of two polynomials F , G in K[x, z] with respect to z, and computing the characteristic polynomial of an element A in K[z]/(P), for some P in K[z].…”
Section: Applications To Bivariate Resultantsmentioning
confidence: 99%
“…Overview of the approach. In [49], Villard designed the following algorithm to find the determinant of a matrix P over K[x]. The parameter m is chosen so as to minimize the theoretical cost.…”
Section: Applications To Bivariate Resultantsmentioning
confidence: 99%
See 2 more Smart Citations
“…11.21]. The Bézout bound implies that the degree of the resultant χ(S) is at most deg(q) deg(h), hence the complexities of all the other steps We point out that the complexity of computing resultants and subresultants of bivariate polynomials have been recently improved in [26,25] under some genericity assumptions. However, since the cost in Proposition 26 will be negligible in the global complexity estimate, we make no effort to optimize it further.…”
Section: Algorithm 8: Computing a Basis Of The Vector Space Of Regulamentioning
confidence: 99%