𝔖 Bobbio Scriptorium
✦   LIBER   ✦

MultiPolynomial Resultant Algorithms

✍ Scribed by Dinesh Manocha; John F. Canny


Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
801 KB
Volume
15
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis


Computational methods for manipulating sets of polynomial equations are becoming of greater importance due to the use of polynomial equations in various applications. In some cases we need to eliminate variables from a given system of polynomial equations to obtain a "symbolically smaller" system, while in others we desire to compute the numerical solutions of non-linear polynomial equations. Recently, the techniques of GrΓΆbner bases and polynomial continuation have received much attention as algorithmic methods for these symbolic and numeric applications. When it comes to practice, these methods are slow and not effective for a variety of reasons. In this paper we present efficient techniques for computing multipolynomial resultant algorithms and show their effectiveness for manipulating system of polynomial equations. In particular, we present efficient algorithms for computing the resultant of a system of polynomial equations (whose coefficients may be symbolic variables). The algorithm can also be used for interpolating polynomials from their values and expanding symbolic determinants. Furthermore, it is possible to come up with tight bounds on the running time and storage requirements of the algorithm. Finally, we use the symbolic elimination algorithm to compute the real or complex solutions of non-linear polynomial equations. It reduces the problem to finding roots of univariate polynomials. We also discuss the implementation of these algorithms and discuss their performance on some applications.


πŸ“œ SIMILAR VOLUMES


Minimal Resultant Systems
✍ G. Lyubeznik πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 217 KB
Minimal Resultant Systems
✍ Zhao Yan πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 149 KB
Simulating Shock to Detonation Transitio
✍ Juhua Zhang; Zhuping Duan; Jing Ding πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 158 KB

An algorithm based on flux-corrected transport and the Lagrangian finite element method is presented for solving the problem of shock dynamics. It is verified through the model problem of one-dimensional strain elastoplastic shock wave propagation that the algorithm leads to stable, non-oscillatory