Ore subresultant coefficients in solutions

Applicable Algebra in Engineering, Communications and Computing

Volumn 12, Issue 5, 2001, Pages 421-428

  Hong, Hoon ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

Ore polynomials; Resultants; Subresultants

Indexed keywords

DIFFERENTIAL EQUATIONS; LINEAR EQUATIONS; MATRIX ALGEBRA; THEOREM PROVING;

COMPUTER ALGEBRA; ORE POLYNOMIALS;

POLYNOMIALS;

EID: 0035158161     PISSN: 09381279     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002000100082     Document Type: Article

References (17)

1. On ore rings, linear operators and factorization
2. On Euclid's algorithm and the theory of subresultants
3. Differential resultants and subresultants
4. Subresultants and reduced polynomial remainder sequences
5. Quanti er elimination for the elementary theory of real closed elds by cylindrical algebraic decomposition
6. A combinatorial algorithm solving some quanti er elimination problems
7. Sturm-Habicht sequences
8. A subresultant theory for Ore polynomials with applications
9. Theory of non-commutative polynomials
10. On the computational complexity and geometry of the rst-order theory of the reals
11. On a theory of syzygetic relations of two rational integral functions, comprising an application to the theory of sturm's function and that of the greatest algebraical common measure