期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于分布Maple系统下特征列相关算法的并行化研究 被引量：1

Research on Paralled of the Related Characteristic Set Method Based on Distributed Maple System
下载PDF
导出
摘要 特征列算法是吴方法的核心算法,为了提高吴方法的计算效率,分析吴方法计算中的特征列计算和多项式因式分解,采用粗粒度并行计算的方法,给出基于分布Maple系统下的吴方法计算的特征列计算以及多项式因式分解的并行化算法,为吴方法计算的并行化研究提供方法。 Characteristic set method is kernel of Wu＇s method, in order to improve the efficiency of Wu＇s method, analyses characteristic set method and polynomial faetorization of Wu＇s method, uses coarse granularity parallel method, introduces a parallel method of characteristic set method and a parallel method of polynomial faetorization based on distributed Maple, provides a method for studying of Wu＇s method parallel computing.
作者 吴素萍
机构地区 宁夏大学数学与计算机学院
出处 《现代计算机》 2009年第10期14-16,共3页 Modern Computer
基金 国家自然科学基金资助项目(No.60963004) 宁夏自然科学基金资助项目(No.NZ0729)
关键词 特征列 分布Maple 并行计算 Characteristic Set Distributed Maple Parallel Computing
分类号 TP301.6 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献2

二级参考文献26

  • 1[1]Wu W T.On the decision problem and the mechanization of theorem proving in elementary geometry.Scientia Sinica,1978,21:159～172.
  • 2[2]Wu W T.Basic principles of mechanical theorem proving in elementary geometries.J Sys Sci & Math Scis,1984,4:207～235.
  • 3[3]Wu W T.Basic Principles of Mechanical Theorem Proving in Geometries (Part One Elementary Geometries,in Chinese),Beijing:Science Press,1984.
  • 4[4]Wu W T.Some recent advance in mechanical-theorem proving of geometries.Automated Theorem Proving:After 25 years (Bledsoe W W,Loveland D W,eds.),Contemp Math,29(1984),Am Math Soc,Providence,235～242.
  • 5[5]Wu W T.A general description of the SOLVER Package.Math Practice Theory,1986,2:32～39 (in Chinese).
  • 6[6]Wu W T.Examples of applications of the SOLVER package.Math Practice Theory,1986,3:1～11 (in Chinese).
  • 7[7]Wang D.An implementation of the characteristic set method in Maple.Pfalzgraf J,Wang D.(eds.):Automated Practical Reasoning:Algebraic Approaches.New York:Springer,1995,187～201.
  • 8[8]Chou S C,Gao X S.Ritt-Wu's decomposition algorithm and geometry theorem proving.Stickel M E (ed.):Proceedings CADE-10,Kaiserslautern,July 24～ 27,1990.Berlin,Heidelberg:Springer,207 ～ 220[OLNCS 449].
  • 9[9]Wang D K,Zhi L H.Software development in MMRC.Proc ATCM'95 (Singapore,December 18～21,1995),Singapore:Assoc of Math Educators,1995,234～ 243.
  • 10[10]Li Z M.An implementation of the characteristic set mehtod for solving algebraic equations.Proc PoSSo Workshop (Paris,France,March 1～4,1995),107～122.

共引文献2

同被引文献9

  • 1武永卫,杨广文,杨宏,郑纬民,林东岱.一种分布式吴方法计算模型[J].软件学报,2005,16(3):384-391. 被引量：3
  • 2W T Wu. A Mechanization Method of Geometry and Its Applications[J]. I. Distances, Areas, and Volumes, L Sys. Sci. & Math. Scis. , 6, 1986:204-216.
  • 3Wang Dong-Ming. Characteristic Sets and Zero Structure of Polynomial Sets [ C ]. Lecture Notes, RISC- LINZ, Johannes Kepler University, Austria, 1989.
  • 4D M Wang. On the Parallelization of Characteristic-Set- Based Algorithms[C]. Proceedings of the First International ACPC Conferencem, LNCS 591, Springer-Verlag, Berlin Heidelberg, 1991 : 338 -349.
  • 5I Ajwa. Parallel algorithms and implementations for the Gr liner Bases algorithm and the characteristic sets method[ D]. Kent State University, 1995.
  • 6I Ajwa, P Wang, D Lin. Another attempt for parallel computation of characteristic sets[ C]. Proceedings of the fourth asian symposium on computer mathematics ( ASCM ), Lecture Notes Series on Computing, 2000,18:63-66.
  • 7H Li and S Wu. Parallelization of Wu' s Method with Multithreading[ C ]. WISM-AICI, 2011:491-498.
  • 8Wang Ding-Kang. A Maple Package for Solving System of Polynomial Equations [ R ], Mathematics - Mechanization Re - search Preprints, 1993-10.
  • 9吴文俊.数学机械化研究回顾与展望[J].系统科学与数学,2008,28(8):898-904. 被引量：10

引证文献1

现代计算机
2009年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部