Complexity of constructing Dixon resultant matrix

Dixon resultant is a fundamental tool of elimination theory in the study and practice of algebraic geometry. It has provided the efficient and practical solutions to some benchmark problems in a variety of application domains, such as automated reasoning, automatic control, and solid modelling. The...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:International journal of computer mathematics Ročník 94; číslo 10; s. 2074 - 2088
Hlavní autori: Qin, Xiaolin, Wu, Dingxiong, Tang, Lin, Ji, Zhenyi
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Abingdon Taylor & Francis 03.10.2017
Taylor & Francis Ltd
Predmet:
Algebra
Automated reasoning
Automatic control
Bivariate analysis
Complexity
Computation
computational complexity
Dixon resultant matrix
elimination theory
Matrices (mathematics)
Parallel processing
Polynomial system solving
Polynomials
recursive algorithm
Solid modelling
ISSN:0020-7160, 1029-0265
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Dixon resultant is a fundamental tool of elimination theory in the study and practice of algebraic geometry. It has provided the efficient and practical solutions to some benchmark problems in a variety of application domains, such as automated reasoning, automatic control, and solid modelling. The major task of solutions is to construct the Dixon resultant matrix, the entries of which are more complicated than the entries of other resultant matrices. An existing extended recurrence formula can construct the Dixon resultant matrix fast. In this paper, we present a detailed analysis of the computational complexity of the recurrence formula for the general multivariate setting. Parallel computation can be applied to speed up the recursive procedure. Furthermore, we also generalize the computational complexity of three bivariate polynomials to the general multivariate case by using the construction of standard Dixon resultant matrix. Some experimental results are demonstrated by a range of nontrivial examples.
Bibliografia:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0020-7160
1029-0265
DOI:10.1080/00207160.2016.1276572