• 数学软件

  • 在6355篇文章中引用[sw00554]
  • 只有开发平台完全整合计算到完整的工作流程中,让您从最初的想法无缝地移动。。。
  • 麦考拉2

  • 引用于1923年的文章[sw00537]
  • 射影变体,理想的初等分解,完整的环的闭合,等等。计算机代数系统。。。
  • 阿巴克斯

  • 引用于1608篇文章[sw04215]
  • 使用通用模型数据结构和集成求解器技术。一流的公司。。。
  • PETSc公司

  • 在1584篇文章中引用[sw04012]
  • 并行线性、非线性方程求解器和时间积分器可能在应用程序代码中使用。。。
  • SAS公司

  • 在1555篇文章中引用[sw06377]
  • 统计分析系统)是一个集成SAS研究所提供的软件产品系统。。。
  • 擅长

  • 引用了786篇文章[sw06848号]
  • Excel2003包含一组新的集成XML工具,增强的列表功能,以及改进的。。。使用Excel创建自定义解决方案整合广泛的技术,包括XML、Microsoft。。。
  • 自动

  • 在943篇文章中引用[sw01059]
  • 根据初始条件、边界条件和完整的限制。这里p表示一个或多个。。。
  • 斯塔塔

  • 引用了838篇文章[sw06029]
  • 斯塔塔是完整的,集成提供数据分析所需的一切的统计软件包。。。
  • Simulink公司

  • 引用818篇文章[sw04348]
  • 视频处理和图像处理。Simulink是集成使用MATLAB®,提供即时访问。。。
  • 神经质的

  • 引用775篇文章[sw06293]
  • 数值程序,如数值程序集成和优化。他们一起。。。
  • 减少

  • 引用746篇文章[sw00789]
  • 扩展程序语法;解析微分与集成; 多项式的因式分解;解决方案的设施。。。
  • 麦克西马

  • 引用720篇文章[sw01209]
  • 行命令(例如查找不确定的完整的或执行非常。。。
  • 乌帕阿尔

  • 引用653篇文章[sw04702]
  • 乌帕是一个集成用于实时系统建模、仿真和验证的工具环境。。。
  • HLLE公司

  • 引用文献638篇[sw06605]
  • 问题,它只基于完整的守恒定律的形式。。。
  • PVS公司

  • 引用629篇文章[sw03484]
  • 验证系统:即规范语言集成有了支持工具和定理证明器。。。
  • z3型

  • 引用597篇文章[sw04887]
  • 数组、未解释函数和量词。Z3是集成用一些程序分析,测试。。。
  • 代码23

  • 引用318篇文章[sw06600]
  • odefun,tspan,y0)和tspan=[t0 tf]集成微分方程组。。。选项)按上述默认值求解集成参数被选项中指定的属性值替换。。。在每个事件函数中,指定集成以零结尾。。。功能。如果集成是以0为终点。。。
  • XFEM公司

  • 引用382篇文章[sw01026]
  • 计划是:在集成方案(子三角形、次四边形、独立近端和间断求积…规则);完整的均匀和双材料界面裂纹的任意定向方法。。。
  • 国际实验室

  • 引用471篇文章[sw04004]
  • 顺序法,多变量缓慢)验证集成(简单)一元函数的一元和多元。。。