• LMI工具箱

  • 在1409篇文章中引用[sw06383]
  • 从控制工程到系统识别和结构设计. LMI控制工具箱实现。。。
  • 岩浆

  • 在2718篇文章中引用[sw00540]
  • 计算机代数系统(CAS)。Magma是一个支持良好的大型软件包设计为了计算。。。Magma还支持许多数据库设计为了帮助这些领域的计算研究。。。描述系统. 本手册可在网上查阅。文档。。。
  • 伽马

  • 在823篇文章中引用[sw04978号]
  • 一般代数建模系统(GAMS)是设计用于线性、非线性和混合整数的建模。。。
  • 巴黎/GP

  • 引用564篇文章[sw00680]
  • 广泛应用的计算机代数系统中科院(CAS)设计用于数论中的快速计算,但也。。。
  • Simulink公司

  • 在694篇文章中引用[sw04348]
  • 基于仿真和模型设计用于动态和嵌入式系统. 它提供了一个交互式的图形。。。设计,模拟、实现和测试各种时变系统包括通讯,控制,信号。。。
  • 科学实验室

  • 参考文献165篇[sw00834]
  • 执行数据分析和建模控制系统 设计&分析:控制的标准算法和工具。。。
  • 埃斯特雷尔

  • 引用161篇[sw20012]
  • 然后嵌入一个更大的系统. 可进行广泛的优化。我们提供了一个图形。。。硬件/软件公司的输入语言-设计 系统...
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 当前自动扣款系统水獭是设计为了证明一阶逻辑中的定理。。。计算器和一个嵌入式等式编程系统. 水獭是第四代阿贡国家。。。
  • LISP-STAT公司

  • 参考文献115篇[sw01111]
  • 动态图形基础系统那就是设计在一个数中相同地工作。。。界面环境,如Macintosh操作系统系统,X窗口系统,和Microsoft Windows。。。线性模型。许多方面系统 设计被S语言所激励。。。
  • 自记

  • 引用130篇文章[sw06137]
  • 自动记录(AGX)是一种计算机系统 设计帮助图论研究者。主要。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 交互式证据开发系统(校对助理)设计爱丁堡的兰迪·波拉克用。。。Jersey ML。它实现了各种相关类型系统-爱丁堡逻辑框架(LF),微积分。。。作为基本操作的证明。这个系统 设计强调删除更乏味的方面。。。交互式校样。例如系统就像论据合成和宇宙多态性。。。
  • 量子点

  • 引用条款106[sw26999]
  • QDES是一种线性控制系统 设计规范编译器和求解器,最初发布。。。包包含机器和操作的二进制文件系统已经不存在了,一群。。。历史记录。《线性控制器》一书设计巴雷蒂斯的极限,还有。。。
  • 拉帕克

  • 引用1586篇文章[sw00503]
  • 线性方程组,线性方程组的最小二乘解系统方程,特征值问题,奇异值。。。基本线性代数子程序(BLAS)。拉帕克是设计从一开始。。。矩阵乘法与三角形的求解系统有多个右手边。因为。。。
  • CGAL公司

  • 引用335篇文章[sw00118]
  • 科学可视化,计算机辅助设计还有建模,地理信息系统分子生物学,医学影像学,机器人学。。。
  • 目标3

  • 引用138篇文章[sw05370]
  • OBJ3是一个程序规范和证明系统基于有序的等式逻辑。。。用于软件研究和教学设计规范,快速原型,定理证明,用户。。。接口设计,以及硬件验证等。它是第一种实现。。。参数化编程及其模块系统影响了设计...
  • XFEM公司

  • 引用了357篇文章[sw01026]
  • 模块化、模块化系统. 方案结构设计满足所有的自然要求。。。
  • 奥西

  • 引用127篇文章[sw11710]
  • 基于网络招聘系统,特别是设计组织经济实验。它的关键功能。。。招聘、公开和内部实验日历、声誉系统,自动邮件,pdf输出,实验者权限管理。。。
  • 乳胶

  • 引用214篇文章[sw33652]
  • 高质量排版系统;包括功能设计为了生产技术和科学。。。
  • 锡林克斯

  • 引用92篇文章[sw07491]
  • 不仅支持可编程逻辑设计,但可编程系统整合。锡林克斯已经从。。。软件可编程ARM®处理系统以及其他。Xilinx提供支持可编程平台的开发工具。。。提高生产力。来自革命性的Vivado®设计适用于所有可编程抽象-Xilinx,以及。。。
  • 加特工具箱

  • 引用75篇文章[sw08681]
  • 现有计算机辅助控制系统 设计包裹。工具箱是在支持下编写的。。。