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.展开更多
Wu’s Characteristic Set Method is a theory that can compute, analyze thestructure of the zeros of a polynomial system. In the past two decades, the practice applications of Wu’s method have proved that it is a power...Wu’s Characteristic Set Method is a theory that can compute, analyze thestructure of the zeros of a polynomial system. In the past two decades, the practice applications of Wu’s method have proved that it is a powerful tool for many problems encountered in mathematics, science, engineering, and industrial/ social applications. Focusingon the implementation of Characteristic Set method, ELIMINO is a computer mathematics research system designed for researchers to perform sophisticated mathematicalcomputations. It has very general capabilities for treating integers, it has an interactiveprogramming capability which allow users to create new facilities.展开更多
文摘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.
文摘Wu’s Characteristic Set Method is a theory that can compute, analyze thestructure of the zeros of a polynomial system. In the past two decades, the practice applications of Wu’s method have proved that it is a powerful tool for many problems encountered in mathematics, science, engineering, and industrial/ social applications. Focusingon the implementation of Characteristic Set method, ELIMINO is a computer mathematics research system designed for researchers to perform sophisticated mathematicalcomputations. It has very general capabilities for treating integers, it has an interactiveprogramming capability which allow users to create new facilities.
