Abstract
We give first a rapid review of the development of polynomial equations-solving in ancient China. We show then how the achievements and lines of thought of our ancestors have been elaborated into a general method of solving arbitrary systems of polynomial equations with the aid of concepts and tools from modern mathematics. As illustrations of our general method, we give finally diverse applications to problems arising either from mathematics proper, or from other domains beyond mathematics, science and technology.
Preview
Unable to display preview. Download preview PDF.
References
S.C.Chou, Mechanical geometry theorem-proving, Reidel (1988).
Z.B. Li & H. Shi, Exact solutions for Belousov-Zhabotinskii reaction diffusion system, J.Phys. A: Math.Gen., to appear.
MM-Res.Preprints, No.1–11, (1985–1994).
J.F.Ritt, Differential equations from the algebraic standpoint, Amer.Math.Soc., Providence (1932).
J.F.Ritt, Differential algebra, Amer.Math.Soc., Providence (1950).
D.M.Wang, Mechanical approach for polynomial set and its related fields, Doctoral Thesis, Institute of Systems Science, Acad.Sinica (1987).
Wu Wen-tsun, Basic Principles of Mechanical Theorem Proving in Geometries (Part on Elementary Geometries), (in Chinese), Science Press, Beijing (1984), English translation by D.M.Wang et al, Springer (1994).
Wu Wen-tsun, On zeros of algebraic equations — an application of Ritt principle, Kexue Tongbao 31 (1986) 1–5.
Wu Wen-tsun, A mechanization method of geometry and its applications, I. Distances, areas, and volumes in euclidean and non-euclidean geometries, Kuxue Tongbao 32 (1986) 436–440
Wu Wen-tsun, A report on mechanical geometry theorem proving, Progress in Natural Science, 2 (1992) 1–17.
Wu Wen-tsun, A mechanization method of equations-solving and theorem-proving, Adv.in Comp. Res., 6 (1992) 103–138.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wen-tsun, W. (1994). Polynomial equations-solving and its applications. In: Du, DZ., Zhang, XS. (eds) Algorithms and Computation. ISAAC 1994. Lecture Notes in Computer Science, vol 834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58325-4_159
Download citation
DOI: https://doi.org/10.1007/3-540-58325-4_159
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58325-7
Online ISBN: 978-3-540-48653-4
eBook Packages: Springer Book Archive