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.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
Buchberger B, Collins G E, Loos R, Albrecht R. Computer Algebra-Symbolic and Algebraic Computation. 2nd Edition, Springer-Verlag, 1988.
Lin Dongdai, Liu Jun, Liu Zhuojun. Mathematical research software: ELIMINO. InProceedings of ASCM’98, pp. 107–114.
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.
Wu Wentsün. Basic Principles of Mechanical Theorem Proving in Elementary.J. of Sys. Sci. and Math. Sci., 1984, 4.
Coad P, Yourdon E. Object-Oriented Analysis. Yourdon Press, 1990.
Norman R J. Object-Oriented System Analysis and Design. Prentice Hall 1996.
Booch G. Object-Oriented Analysis and Design with Applications (2nd ed.). Menlo Park, CA: Benjamin/Cummings, 1994.
Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-Oriented Modeling and Design. New York: Prentice Hall, 1991.
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.
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
- Wu’s method
- characteristic method
- mathematical research system
- object-oriented analysis