Computations of multi-resultant with mechanization

Applied Mathematics and Computation

Volumn 170, Issue 1, 2005, Pages 237-257

  Wang, Weiming ^a   Lian, Xinze ^a  

^a WENZHOU UNIVERSITY   (China)

Author keywords

Algorithm; Dixon resultant; Macaulay resultant; Maple; Mechanization; Multi resultant

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; MATHEMATICAL MODELS; MECHANIZATION; POLYNOMIALS;

DIXON RESULTANT; MACAULAY RESULTANT; MAPLE; MULTI-RESULTANT;

ALGEBRA;

EID: 26844495711     PISSN: 00963003     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.amc.2004.11.034     Document Type: Article

References (18)

1. Z. Lu, B. He, and Y. Luo A New Algorithm for Isolating Intervals for Real Roots of a Polynomial Systems with Application 2004 Science Press Peking, China
2. L. Yang, J. Zhang, and X. Hou Nonlinear Algebraic Equation System and Automated Theorem Proving 1996 Shanghai Science and Education Press Shanghai, China
3. D. Wang Elimination Methods and Applications 2002 Science Press Peking, China
4. W. Wu Mathematics Mechanization 2003 Science Press Peking, China
5. L. Buseo Resultants of determinantal varieties J. Pure Appl. Algebra 193 2004 71 97
6. I.Z. Emiris, and B. Mourrain Matrices in elimination theory J. Symbolic Comput. 28 1999 3 44
7. A. Khetan The resultant of an unmixed bivariate system J. Symbolic Comput. 36 2003 425 442
8. B. Mishra Algorithm Algebra 1993 Springer-Verlag New York
9. M.I. Syam The resultants methods for approximating real fixed points of polynomials Comput. Math. Appl. 41 2001 879 891
10. A. Friendman, J. Glimm, and J. Lavery The mathematical and computational sciences in emerging manufacturing technologies and management practices SIAM 62-63 1992
11. J.G. Glimm Mathematical Sciences, Technology, and Economic Competitiveness 1992 National Academy Press Washington, DC
12. E. Chionh, and M. Zhang Ronald, Rast computation of the Bezout and Dixon resultant matrices J. Symbolic Comput. 33 2002 13 29
13. E. Chionh Concise parallel Dixon determinant Comput. Aided Geom. Des. 14 1997 561 570
14. W. Wang Computer Algebra System and Symbolic Computation 2004 Gansu Sci-Tech Press Lanzhou, China (in Chinese)
15. W. Wang, and X. Lian A new algorithm for symbolic integral with application Appl. Math. Comput. 162 2005 949 968
16. W. Wang, C. Lin, A new algorithm for integral of trigonometric functions with mechanization, Appl. Math. Comput., in press.
17. W. Wang, A new algorithm for solving DAEs with mechanization, Appl. Math. Comput., in press.
18. W. Chen, and Z. Lu An algorithm for Adomian decomposition method Appl. Math. Comput. 159 2004 221 235