• XPRESS

  • 引用217篇[sw04834]
  • 建模与优化软件世界上最好的套房工具可用。。。
  • 斯塔特网

  • 引用54篇文章[sw07328]
  • statnet软件包:软件 工具用于网络数据的统计分析。一个完整的。。。
  • UTV公司

  • 引用232篇文章[sw05213]
  • Matlab 7.0软件补充和补充包UTV工具从1999年开始,包括实现。。。
  • 伊莎贝尔

  • 参考605篇文章[sw00454]
  • 用一种正式的语言表达并提供工具在逻辑上证明这些公式。。。证明计算机硬件的正确性或软件以及证明计算机语言的性质。。。
  • 矩阵市场

  • 在157篇文章中引用[sw04020]
  • 代数。矩阵和矩阵生成软件线性系统,最小二乘法。。。提供科学和工程学科。工具浏览收藏或搜索。。。描述它的属性。发电机要么是静止的软件你可以下载并包括。。。NIST项目工具用于数学和统计评估软件有重点领域。。。
  • 佐尔坦

  • 引用48篇文章[sw07458]
  • 使用当前并行的图(对称矩阵)软件 工具...
  • CSparse公司

  • 引用191篇文章【sw20382】
  • 稀疏矩阵中的数据结构软件图书馆。在这里,戴维斯介绍了稀疏的基本原理。。。读者与工具理解更大更复杂软件包。与。。。
  • ITK公司

  • 参考第44条[sw08382]
  • 开发人员软件 工具用于图像分析。通过极限编程开发。。。工作。自我维持的社区软件用户和开发者。。。
  • 钥匙

  • 引用63篇文章[sw09969]
  • 系统是正式的软件发展工具旨在整合设计、实现、正式规范。。。面向对象的形式化验证软件尽可能无缝。在核心。。。
  • 蒂娜

  • 引用42篇文章[sw03280]
  • 工具TINA——为Petri网和时间Petri网构造抽象状态空间。。。图形编辑设施软件 工具蒂娜建议构造一些表示。。。
  • SGeMS公司

  • 参考58篇文章[sw13298]
  • GeMS:斯坦福地质统计学模型软件:一个工具新算法的开发。斯坦福大学(GeMS。。。
  • GeoGebra公司

  • 引用328篇文章[sw04203]
  • 包裹。它接受过几次教育软件在欧洲和美国的奖项。快速的事实。。。界面,还有很多强大的功能。创作工具创建交互式学习材料作为网页。。。全世界。免费开源软件. 计算机代数系统。。。
  • 访问

  • 参考61篇文章[sw03704]
  • 具有图形用户界面和软件-发展工具. 它是一个会员。。。存储在其他应用程序和数据库中。[1]软件开发人员和数据架构师可以使用Microsoft。。。
  • 史努比

  • 引用31篇文章[sw04386]
  • 史努比是个软件 工具设计和动画层次图,以及其他Petri网。。。工具已经在理工大学开发了-而且还在开发中。。。计算机科学,“数据结构和软件可靠性”。这个工具正在用于验证。。。
  • CVX发电机

  • 引用了37篇文章[sw07151]
  • 嵌入凸优化。CVXGEN是一个软件 工具这需要一个高层次的描述。。。
  • Mu分析综合工具箱

  • 参考109篇文章[sw19506]
  • 频域或状态空间方式。μ-工具最近的用户也可以访问MATLAB®。。。控制设计问题。控制设计软件,如μ-工具,提供控件之间的链接。。。
  • 政治公众人物

  • 在34篇文章中引用[sw03186]
  • 并行系统(PEPS)。政治公众人物是软件 工具用来分析随机自动机网络。。。
  • 坎迪斯

  • 引用89篇文章[sw07308]
  • 阿尔弗雷德·格雷完成了软件作为有用的工具对于Mathematica教育用户。。。软件,其中还详细描述了软件...
  • 比西

  • 在34篇文章中引用[sw01168]
  • 裂纹扩展模拟。我们的创新软件 工具服务的使用范围之广。。。