Object-oriented Analysis of ELIMINO

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.