Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Object-oriented analysis of ELIMINO

  • 13 Accesses

Abstract

ELIMINO is a mathematical research system developed for the implementation of Wu’s method, a powerful method for polynomial equation system solving and geometric theorem proving. The aim of ELIMINO is to provide used a programmable interpreting environment to use Wu’s method in scientific research and engineering computation. In this paper, the development of ELIMINO system is outlined and the techniques adopted are discussed, then some details about the object-oriented analysis of ELIMINO are presented.

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

References

  1. [1]

    Buchberger B, Collins G E, Loos R, Albrecht R. Computer Algebra-Symbolic and Algebraic Computation. 2nd Edition, Springer-Verlag, 1988.

  2. [2]

    Lin Dongdai, Liu Jun, Liu Zhuojun. Mathematical research software: ELIMINO. InProceedings of ASCM’98, pp. 107–114.

  3. [3]

    Wu Wentsün. On the decision problem and the mechanization of theorem proving in elementary geometry.J. Sys. Sci. and Math. Scis., 1978, 21: 157–179.

  4. [4]

    Wu Wentsün. Basic Principles of Mechanical Theorem Proving in Elementary.J. of Sys. Sci. and Math. Sci., 1984, 4.

  5. [5]

    Coad P, Yourdon E. Object-Oriented Analysis. Yourdon Press, 1990.

  6. [6]

    Norman R J. Object-Oriented System Analysis and Design. Prentice Hall 1996.

  7. [7]

    Booch G. Object-Oriented Analysis and Design with Applications (2nd ed.). Menlo Park, CA: Benjamin/Cummings, 1994.

  8. [8]

    Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-Oriented Modeling and Design. New York: Prentice Hall, 1991.

Download references

Author information

Correspondence to Dongdai Lin.

Additional information

LIN Dongdai was born in 1964 and received his Ph.D degree from Institute of Systems Science of Chinese Academy of Sciences in 1990. His research interests include algebraic coding theory and symbolic computation. Right now, he is a Professor of Institute of Systems science and paying efforts on developing symbolic computation software.

LIU Zhuojun is a Professor of Institute of Systems Science and received his Ph.D. degree in 1988. His research interests include symbolic computation, error-correcting code theory and automated theorem proving.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Lin, D., Liu, Z. Object-oriented analysis of ELIMINO. J. Comput. Sci. & Technol. 14, 487–494 (1999). https://doi.org/10.1007/BF02948790

Download citation

Keywords

  • ELIMINO
  • Wu’s method
  • characteristic method
  • mathematical research system
  • object-oriented analysis