ELIMINO is a mathematical research system developed for theimplementation of Wu's method, a powerful method for polynomial equation systemsolving and geometric theorem proving. The aim of ELIMINO is to provide use...ELIMINO is a mathematical research system developed for theimplementation of Wu's method, a powerful method for polynomial equation systemsolving and geometric theorem proving. The aim of ELIMINO is to provide usera programmable interpreting environment to use Wu's method in scientific researchand engineering computation. In this paper, the development of ELIMINo systemis outlined and the techniques adopted are discussed, then some details about theobject-oriented analysis of ELIMINO are presented.展开更多
文摘ELIMINO is a mathematical research system developed for theimplementation of Wu's method, a powerful method for polynomial equation systemsolving and geometric theorem proving. The aim of ELIMINO is to provide usera programmable interpreting environment to use Wu's method in scientific researchand engineering computation. In this paper, the development of ELIMINo systemis outlined and the techniques adopted are discussed, then some details about theobject-oriented analysis of ELIMINO are presented.
