首页 | 本学科首页   官方微博 | 高级检索  
     

On Software Development of Characteristic Set Method
引用本文:WUYong-wei,YANGHong,等. On Software Development of Characteristic Set Method[J]. 系统科学与系统工程学报(英文版), 2002, 11(3): 371-379
作者姓名:WUYong-wei  YANGHong  
作者单位:WU Yong-wei1,WANG Ding-kang1,YANG Hong2,LIN Dong-dai31.Institute of Systems Science,Academia Sinica,Beijing 100080,China2.Beijing Municipal Computing Center,Beijing 100005,China3.The State Key Laboratory of Information Security,Institute of Software,Academia Sinica,Beijing 100080,China
摘    要:1 IntroductionIn mathematics,there are two distinctsystem ofthoughts and methods:axiomatic methodand mechanical method. As consequences,there are two kinds of major activities,one istheorem proving and another is equation solving.In contrast to the Eucli…

关 键 词:特征集  计算机代数  软件开发

On Software Development of Characteristic Set Method
WU Yong-wei,WANG Ding-kang,YANG Hong,LIN Dong-dai. On Software Development of Characteristic Set Method[J]. Journal of Systems Science and Systems Engineering, 2002, 11(3): 371-379
Authors:WU Yong-wei  WANG Ding-kang  YANG Hong  LIN Dong-dai
Affiliation:1. Institute of Systems Science, Academia Sinica , Beijing 100080, China
2. Beijing Municipal Computing Center, Beijing 100005, China
3. The State Key Laboratory of Information Security, Institute of Software, Academia Sinica, Beijing 100080, China
Abstract:Characteristic set method of polynomial equation solving has been widely spread and its implementation in software has been urged to consider in recent years.Several packages for the method are implemented in some computer algebra systems.such as REDUCE and Maple,In order to improve the efficiency of the method.we have developed a computer algebra system ELIMINO written in C language and implemented on Linux operation system on a PC. The authors wish to share with the reader the knowlege and experiences about the design and development of software package of the characteristic set method.
Keywords:characteristic set  computer algebra system
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号