• 数学软件

  • 5658篇参考文献[SW05354]
  • 最初的一直部署个人或企业解决方案的想法。电脑代数系统
  • 离散马尔可夫随机场

  • 1885篇参考文献[SW04968 ]
  • 为广大观众提供特殊功能。这个最初的产品将是一本出版手册。示例,或输入计算机代数系统这些和其他问题,以及部分…
  • 科菲

  • 42篇参考文献[ SW01631 ]
  • 共同框架倡议代数的规范和发展。共同框架倡议代数的规范和开发软件,是一种开放的国际合作。主要最初的
  • 汽车

  • 802篇参考文献[SW01059]
  • 有限分岔分析代数的形式的系统…从属于最初的条件、边界条件和积分约束。这里P表示一个或多个…
  • MapReduce

  • 233篇参考文献[SW0566]
  • MapReduce是一种新的并行程序设计模型最初开发用于大规模的Web内容处理…应用关系的翻译与优化代数MapReduce程序的操作员仍然是…MapReduce模型,然后给出一个最初的多组查询的实现。然后我们…
  • Auto-860

  • 269篇参考文献[SW04220]
  • 有限分岔分析代数的格式的系统…使服从最初的条件、边界条件和积分约束。这里P表示一个或多个…
  • MEBDF

  • 75篇参考文献[SW0567]
  • 刚性系统最初的常微分方程与微分代数的方程描述…
  • 达伊特

  • 37篇参考文献[SW12535]
  • 微分求积代数的泰勒级数方程。DIETS代码。作者已经开发出…数值求解方法最初的值问题微分代数的方程(DAE)…
  • 脱溶

  • 44篇参考文献[SW044 99 ]
  • 有差别的代数的方程(DAE)和延迟微分方程(DDE),解决的函数最初的价值问题…微分方程偏微分方程(PDE)代数的方程(DAE)和延迟微分方程…
  • PLTMG

  • 206篇参考文献[SW0717]
  • 粗化,网状移动。PLTMG雇用几个代数的多层次求解器系统…障碍问题。包裹包括最初的网格生成器和几种图形包。支持
  • CRC 3

  • 9篇参考文献[SW09782]
  • 规格之间的完全一致最初的 代数数学语义及其运算语义…
  • 艾达

  • 57篇参考文献[SW11535]
  • 收集例程探索代数微分不变量:不变量生成集的计算…枫树图书馆Groebner,Vessiot和DeCalg。初始的I. Kogan使用IVB代码…
  • 雾化

  • 38篇参考文献[SW09244]
  • 僵硬不僵硬最初的常微分与微分的数值问题代数的方程。。。
  • HAP

  • 35篇参考文献[SW0870]
  • 电脑代数系统,目前仍处于开发阶段。它的最初的重点是相关的计算…
  • IMPS

  • 49篇参考文献[SW09143]
  • 最初的理论库包含超过一千个可重复的证据涵盖逻辑的重要部分,代数
  • DASPK 3

  • 34篇参考文献[SW04288]
  • 大型微分方程的灵敏度分析代数的方程。他们概述了底层算法…分析与选择的一致性最初的数据在简单地讨论了一些…微分方程数值实验的结果代数的由部分离散化引起的方程…
  • HOL2P

  • 4篇参考文献[SW21180]
  • 自然转换等概念最初的 代数要应用在一级…
  • 德塞特

  • 21篇参考文献[SW06062]
  • 刚性试验台最初的开源软件R中的价值问题求解器:包…常微分方程的问题,微分代数的指数方程…包括6个新的代码来解决最初的价值问题。R包源于…
  • Auto2000

  • 49篇参考文献[SW0464 3]
  • 有限分岔分析代数的形式的系统…从属于最初的条件、边界条件和积分约束。这里P表示一个或多个…
  • BVP-解

  • 10篇参考文献[SW08340]
  • 有差别的代数的方程(DAES)。除了已经解决的包最初的价值…