• 特征流

  • 182篇参考文献[SW04254]
  • 旨在发展软件实现我们的新数学的并结合算法思想…
  • 抱怨

  • 308篇参考文献[SW06249]
  • 软件优化例程是高度灵活的-可从各种调用数学的包,包括MATLAB…
  • 克拉马特康特

  • 53篇参考文献[SW07132]
  • 微分方程需要好的和强大的数学的 软件. 此外,一个灵活的和可扩展的包…
  • HSLMI20

  • 47篇参考文献[SW07246]
  • HSL内的HSLMI20封装数学的 软件图书馆可以使用例程…
  • 电除尘器

  • 152篇参考文献[SW06302]
  • 证明包括硬件和软件验证,部分自动化的各种数学的活动,促进发展…
  • 感觉+

  • 33篇参考文献[SW05898]
  • 数值方法与技术数学的 软件紧随其后数学的与…相关联的摘要
  • GSL

  • 218篇参考文献[SW0583]
  • 软件在GNU通用公共许可证下。图书馆提供了广泛的数学的
  • 枣灰蝶属

  • 143篇参考文献[SW0961]
  • 软件在所有领域中证明、解决和简化公式的技术框架数学. 定理…
  • 查比斯

  • 18篇参考文献[SW0119]
  • 算法666。查比斯:A数学的 软件用于定位和评估系统根的封装…非线性方程组。查比斯是数学的 软件用于系统数值解的程序包…
  • 张力流

  • 200篇参考文献[SW15170]
  • 软件使用数据流图进行数值计算的库。图中的节点表示数学的
  • 姆帕德组合

  • 25篇参考文献[SW0943]
  • 可行的完全开放源代码数学的 软件圣人我们特别高兴地接受了这个…
  • 玩乐

  • 291篇参考文献[SW05897 ]
  • 算法集合与A软件在面向对象的MATLAB系统中扩展了熟悉的强大的…求解常微分方程。这个数学的系统的基础是切比雪夫展开的工具…
  • OpenXM

  • 13篇参考文献[SW12157]
  • 也做实验连接数学的 软件系统之间的基础设施…提供包数学的 软件支持OpenXM协议的系统。请查看OpenXM的截图…
  • TPS

  • 71篇参考文献[SW0933]
  • 证明包括硬件和软件验证,部分自动化的各种数学的活动,促进发展…
  • 姆巴斯

  • 17篇参考文献[SW0824]
  • 整合的语境数学的 软件系统我们描述了数据模型…基于Web的分布式MBASE系统数学的知识库这个系统是数学的服务
  • M4RI

  • 17篇参考文献[SW0534 ]
  • 圣人使用M4RI数学 软件和聚硼酸库。M4RI是可用的…
  • 雏菊

  • 38篇参考文献[SW09059]
  • 黛西:新的软件测试生物和生理系统的全局可识别性的工具…制度很难数学的问题。已经提出了不同的方法…调查员完全自动化软件,要求最小先验知识数学的建模…数学的工具系统的可辨识性的微分代数软件可能会有用…
  • SBToBOX

  • 16篇参考文献[SW0791]
  • 广泛使用的通用用途数学的 软件MATLAB。工具箱为系统生物学家提供了一个开放的…