Skip to main content
SpringerLink
Log in

Object-oriented analysis of ELIMINO

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

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 via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

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

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

  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.

    Google Scholar 

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

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

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

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

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Systems Science, Chinese Academy of Sciences, 100080, Beijing, P. R. China

    Lin Dongdai & Liu Zhuojun

Authors
  1. Lin Dongdai
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Liu Zhuojun
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Lin Dongdai.

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

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02948790

Keywords

Search

Navigation