• 麦考拉2

  • 在1620篇文章中引用[sw00537]
  • Macaulay2是一种软件系统献身于支持的代数几何与交换代数研究。。。Macaulay2包括计算格尔布纳基地以及分级或多级自由分辨率。。。安装方法计算特别是对他们。麦考拉2罐计算Betti数,Ext,上同调。。。环的积分闭包,等等。电脑类代数系统...
  • 格式

  • 引用了45篇文章[sw01193]
  • 系统 基于在FORTRAN上。它是由Jean E.Sammet开发的。格式支持 计算,操纵。。。
  • 急流

  • 在38篇文章中引用[sw01249]
  • 多种语言系统. 这项技术是基于新一代计算机语言,叫做。。。定义语言(EADLs)和一个创新的工具集支持的EADLs在进化发展中的应用。。。大规模系统. 急流是为了支持组件-基于发展大型、多语言。。。
  • 法弗

  • 参考文献108篇[sw04123]
  • 状态空间基于关于用户可定义的约束和系统. 法弗。。。哪一个支持任意大的数字。管理多面体的复杂性计算,我们提议。。。
  • 雷杜泽

  • 引用72篇文章[sw10354]
  • C++中的积分还原。雷杜兹是个计算机将费曼积分化简为母函数的程序。。。支持通过模块化的负载平衡作业系统. 快速图与拟阵基于算法允许。。。
  • 台阶

  • 引用36篇[sw17948]
  • 支持这个计算机-反应式、实时性和混合式的辅助形式验证系统 基于...
  • Seigtool公司

  • 引用了53篇文章[sw07021]
  • 评估线性系统结构扰动下。结构化Eigtool是一个免费的。。。绘制结构伪谱。尤其是支持这个计算真的,斜对称的,赫米特。。。哈密顿赝谱。结构化EigTool基于在EigTool[1]绘图软件包上。。。
  • 摄像机校准

  • 引用51篇文章[sw13537]
  • 处理。对于三维计算机愿景系统工具箱支持立体视觉校准。。。点云处理。使用机器学习基于框架,你可以训练目标检测,物体识别。。。
  • 复数

  • 引用了78篇文章[sw00719]
  • 计算机代数系统(CAS)为高效而开发计算用多项式。复数是(核心)扩展。。。具有PBW的奇异到非交换多项式环基地以及它们的商(称为G-/GR代数,也称为G-/GR代数)。。。全局单项式序是支持对于计算左、右、双面格勃纳基地. 在那里。。。
  • GPDT

  • 引用44篇文章[sw04803]
  • 训练中二次规划的求解支持介绍了分类问题的向量机。。。计算多处理器上可用的资源系统通过分配最重的计算的每个分解的任务。。。迭代。基于在广泛的近期理论进展中,相关的分解问题,如。。。标度标准非线性支持向量机在通用多处理机上的有效可处理性系统. 此功能。。。
  • Isar

  • 引用138篇文章[sw04599]
  • 定理证明系统 支持的交互证据开发和某种程度的自动化已经成为。。。这种半自动推理系统包括Coq,PVS,HOL和Isabelle。尽管如此。。。把数学和计算机科学,在解决。。。定理证明系统(像米扎尔一样),国际空间站避免了几个缺点:事实上基于...
  • 最小值

  • 引用46篇文章[sw29625]
  • 计算. 我们展示了系统 基于关于直觉模态逻辑S4提供。。。用于指定和分析的表达框架计算类型化λ-计算的阶段。。。跨多个阶段共享代码,因此支持的运行时代码生成以及。。。
  • 小鬼

  • 引用49篇文章[sw09143]
  • 系统. IMPS是一个交互式的数学证明系统作为一个通用工具。。。熟悉的时尚。小鬼的逻辑是基于简单类型理论的一个版本。。。分析并提供一些支持用于在中建模应用程序计算机科学。。。
  • 伊兰

  • 参考文献108篇[sw02179]
  • 系统用一种语言基于策略控制的规则。它的目的是支持... 研究他们的组合。它的目的是支持定理证明器的设计,逻辑程序设计。。。数据类型与功能评价原则基于关于重写。但是重写本身就是。。。同样的条件,在伊兰,一个计算可能有几个结果。这方面是。。。
  • 聚合

  • 引用49篇文章[sw04449]
  • 代数图变换通用开发环境系统它遵循解释性方法。很特别。。。可配置任意图形变换计算在这些描述的Java对象上。。。规则应用程序尽可能长。聚合支持构成图的几种验证方法。。。包括图形和规则-基于软件建模,验证系统通过指定属性。。。
  • 黄蜂

  • 引用了37篇文章[sw09565]
  • 无根据集计算,正向和反向推理运算符基于论原子支持,和技术。。。哪只黄蜂在系统第三届ASP大赛的赛道。。。
  • 上尉

  • 引用31篇文章[sw14783]
  • 电脑类-时间序列分析与噪声识别辅助程序系统(船长)工具箱。这个。。。网站的主要目的是支持Matlab的船长工具箱,它提供了。。。信号处理、自适应预测和自动控制系统设计。这些都是在。。。现就读于英国兰开斯特大学,基于关于彼得·杨和同事们进行的研究。。。
  • 蓝铜矿

  • 17条引用【sw20252】
  • 广义幺正割。它是基于合子计算对称性分析。。。图表和由计算机代数系统{sc奇异}和{sc Mathematica。。。IBP身份的一部分支持在伤口上。。。
  • 伊萨杰特

  • 引用28篇文章[sw09539]
  • 高能相互作用。它是基于关于部分子的微扰QCD加唯象模型。。。使用补丁代码管理进行分发系统在欧洲核子研究所开发。补丁源文件isajet.car。。。在任何支持Unix系统系统通过编辑Makefile并选择。。。适当的选择。在任何其他版本上编译ISAJET计算机使用ANSI Fortran 77和Patchy,包括。。。
  • 麦肯锡

  • 引用28篇文章[sw09465]
  • 电脑类新南威尔士大学理工科。这个系统是为了。。。支持定义知识的几种不同方法给出了多智能体的描述系统... 时间-时间运算符是支持. 早期发布的MCK是基于主要在BDD上-基于...