| AN APPROACH TOWARDS THE IMPLEMENTATION OF CHARACTERISTIC SET METHOD |
| |
| 作者姓名： | WU Wenda LIU Zhuojun LIN Dongdai |
| |
| 作者单位： | Mathematics Mechanization Research Center，Institute of Systems Science，Academia Sinica，Beijing 100080，China |
| |
| 摘 要： | 1.IntroductionInthiscentury,theinventionofcomputerhasbroughtustoanewrevolutionera:weevencouldnotimaginewhattheworldwouldlooklikewithoutcomputer.Nowadays,wehavegottenusedtolettingcomputerhelpustodoinformationsearching,wordprocessing,complicatedcomputationsandsoon.Buthowaboutthementalworkmechanization,i.e.askingcomputertodomelltalworkforussuchasreasoning?MathematicsmechanizationisanewresearchfieldinitiatedbyProfessorWuWentsUnll]taChinesemathematician.Itisanalgebraicapproachratherthanalogicapp…
|
AN APPROACH TOWARDS THE IMPLEMENTATION OF CHARACTERISTIC SET METHOD |
| |
| WU Wenda,LIU Zhuojun,LIN Dongdai.AN APPROACH TOWARDS THE IMPLEMENTATION OF CHARACTERISTIC SET METHOD[J].Journal of Systems Science and Complexity,1999(Z1). |
| |
| Authors: | WU Wenda LIU Zhuojun LIN Dongdai |
| |
| Abstract: | 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. |
| |
| Keywords: | Wu's method Characteristic Set Method ELIMINO computermathematics mathematical research software |
| 本文献已被 CNKI 等数据库收录！ |
