Skip to main content
SpringerLink
Log in

Polynomial equations-solving and its applications

  • Conference paper
  • First Online:
Algorithms and Computation (ISAAC 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 834))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S.C.Chou, Mechanical geometry theorem-proving, Reidel (1988).

    Google Scholar 

  2. Z.B. Li & H. Shi, Exact solutions for Belousov-Zhabotinskii reaction diffusion system, J.Phys. A: Math.Gen., to appear.

    Google Scholar 

  3. MM-Res.Preprints, No.1–11, (1985–1994).

    Google Scholar 

  4. J.F.Ritt, Differential equations from the algebraic standpoint, Amer.Math.Soc., Providence (1932).

    Google Scholar 

  5. J.F.Ritt, Differential algebra, Amer.Math.Soc., Providence (1950).

    Google Scholar 

  6. D.M.Wang, Mechanical approach for polynomial set and its related fields, Doctoral Thesis, Institute of Systems Science, Acad.Sinica (1987).

    Google Scholar 

  7. 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).

    Google Scholar 

  8. Wu Wen-tsun, On zeros of algebraic equations — an application of Ritt principle, Kexue Tongbao 31 (1986) 1–5.

    Google Scholar 

  9. 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

    Google Scholar 

  10. Wu Wen-tsun, A report on mechanical geometry theorem proving, Progress in Natural Science, 2 (1992) 1–17.

    Google Scholar 

  11. Wu Wen-tsun, A mechanization method of equations-solving and theorem-proving, Adv.in Comp. Res., 6 (1992) 103–138.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Systems Science, Academia Sinica, 100080, Beijing, China

    Wu Wen-tsun

Authors
  1. Wu Wen-tsun
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ding-Zhu Du Xiang-Sun Zhang

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation