期刊文献+

集成式数学计算软件

Integrated software for mathematical computing
下载PDF
导出
摘要 当前数学软件资源的现状存在着资源丰富而又不能很好满足需要的矛盾 ,本文分析了产生这个矛盾的原因 ,提出开发数学软件的集成的方法 。 Existent problems faced by mathematical software are analysed in this paper.Based on the thought of integration,the idea to develop one software is presented.The design of the software and an example are also given.
出处 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第4期34-37,共4页 Journal of Lanzhou University(Natural Sciences)
基金 国家"973"项目"数学机械化与自动推理平台"资助项目 ( G1 9980 3 0 6)
关键词 集成 目录树 解释器 integration directory tree interpreter
  • 相关文献

参考文献5

  • 1邹宵.[D].兰州:兰州大学信息科学与工程学院,2000.6—7.
  • 2Caprotti O,Carlisle D P,Cohen A M. The OpenMath Standard [DB/CD]. http://monet. nag. co. uk/cocoon/openmath, 2000-02.
  • 3Gray S,Kajler N,Wang P S. MP..A protocol for Efficient Exchange of Mathematical Expressions[A].ISSAC'94[C]. New York : Association for Computing Machinery Press, 1994. 330-335.
  • 4Wang P S. Internet Accessible Mathematical Computation[A].ASCM'98[C]. Lanzhou : Lanzhou University Press, 1998. 1-13.
  • 5Carlisle D, Ion P, Miner R, et al. Mathematical Markup Language (MathML) Version 2. 0[DB/CD].http://www. w3. org/TR/MathML2/, 2001.11-12.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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