• 菲亚特

  • 14篇参考文献[ SW21357 ]
  • 细化成有效的实现自动化的战术。求导在菲亚特产生正式证明…
  • 吡喃普特

  • 13篇参考文献[SW17844 ]
  • 微分几何与费力计算导数用……做一个重要的障碍用户进一步使用自动化的微分求积导数信息,节省用户时间和节省…
  • 中国保监会

  • 40篇参考文献[SW06202]
  • 中国保监会是自动化的基于圆度原理的行为证明器。圆度原理推广…形式FR(e)和一组衍生的方程组导数,德(E)。圆度…
  • 克劳德斯

  • 2篇参考文献[SW06182]
  • Maple包Couddes:计算机自动化的 求导关于非线性微分差分方程的守恒定律…
  • 逆反的

  • 8篇参考文献[SW17117]
  • 参数,SCFGS完全使用自动化的统计学习算法得到模型参数。尽管有这个优势…
  • 阿多

  • 1篇参考文献[SW0671]
  • 非线性问题,MAPLE软件包自动化的 求导对于周期性非线性振荡系统…
  • 荆棘

  • 12篇参考文献[SW038 5]
  • 使用计算机微积分。该过程采用自动化的系统称为Gress,它使用一个预编译器…通过添加一个FORTRAN计算机代码导数-能力。从单一…通过乘法计算一个归一化灵敏度导数通过其相关的输入参数值…增强的代码。基准测试结果表明自动化的程序可以廉价和有效地使用。
  • HIPSPEC

  • 12篇参考文献[SW0736]
  • 自动化理论证明:HIPSPEC是一种自动检测系统。派生并证明…
  • 阿克根

  • 28篇参考文献[SW10821]
  • ACEGEN封装用于自动控制求导在数值过程中需要的公式…包括需要的示例和库自动化有限元法…
  • 雅加达

  • 18篇参考文献[SW01269]
  • 证明助理的规范;雅加达自动化工具包(JAK),一个工具集支持推理…助手。工作的目标是得到认证的字节码验证器的抽象…
  • 螺旋形的

  • 46篇参考文献[SW0903]
  • 系统(系统)www.)是一种自动工具派生实现和优化数字信号处理…实现。本次讲座提供了一个概述自动化的利用螺旋线生成DSP算法…
  • 对数回答

  • 3篇参考文献[SW21369]
  • 采用AN的领域问答系统自动化的定理证明器推断正确的答复…知识,在其中起着至关重要的作用派生答案我们给出了函数的对数解答…原型,由自动化的逻辑解答的定理证明者求导也。。。
  • 道奇森

  • 13篇参考文献[SW12653]
  • 透过镜子。使用递归衍生的从道森的冷凝法,我们提供…方法,应服从于完全自动化. 我们还提到迈向…的第一步。
  • 恩典

  • 3篇参考文献[SW0845]
  • 复杂的计算或执行自动化的任务。格瑞丝是衍生的从XMGR(又名ACE/GR),最初写…
  • 漂移

  • 1篇参考文献[SW13665 ]
  • 根据需要制定规则。漂移自动化实例求导对于不支持的类…
  • 埃兹普雷德

  • 16篇参考文献[SW26858]
  • 高度期望开发自动化的一种可以快速获得的方法EZYPRED是通过融合结果开发出来的。衍生的从功能域和演化信息…
  • 西柚

  • 15篇参考文献[SW25129]
  • 葡萄柚互动式自动化的极值图论中的猜想《斗篷》是一个制造系统的猜想。选择不变量的空间,以便得到这些不变量之间的极值性质。GraPHedron…