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.
Article PDF
Similar content being viewed by others
References
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.
Author information
Authors and Affiliations
Corresponding author
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
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
Issue Date:
DOI: https://doi.org/10.1007/BF02948790