• STeLP公司

• 在10篇文章中引用【sw09772】
• 称为可分割时间逻辑程序），STeLP获得它的时间集平衡模型（概括。。。允许对时间的简单定义逻辑程序，包括一个特殊的操作语法。。。

• 鹰

• 参考7篇文章[sw31989]
• 试图满足世俗的逻辑代表他们个人目标的公式。基本的分析概念。。。反应模块游戏是纳什平衡. 在本文中，我们描述了一个工具，通过它。。。检查这些策略是否形成纳什平衡反应模块游戏通过。。。该工具广泛使用传统的时间逻辑可满足性和模型检验技术。我们先。。。

• DMCS公司

• 参考6篇文章[sw09818]
• DMCS系统是平衡异构非单调多语境语义。。。具有异质性和非单调性的特征上下文逻辑学. MCS中的每个上下文都包含。。。

• 欧氏瓣心内膜炎

• 1条引用[sw31990]
• 时间的自动分析工具平衡并发多智能体系统的性质。。。用线性时间表达目标逻辑（LTL）公式。尤其是伊芙检查。。。

• 选择间隙

• 1条引用【sw20612】
• 结合选择的选择差距的概念逻辑程序和通用注释程序。我们假设。。。其他情况。我们定义了多人纳什平衡但因为他们需要。。。

• ANSYS软件

• 引用655篇文章[sw00044]
• ANSYS提供了一个全面的软件套件，跨越。。。

• 阿斯特拉

• 参考12篇文章[sw00052]
• 故障树分析（FTA）是一种形式化的演绎。。。

• 可口可乐

• 在1783篇文章中引用[sw00161]
• Coq是一个正式的证据管理系统。它。。。

• Maple全局优化工具箱

• 在147篇文章中引用[sw00358]
• 优化是寻找解决方案的科学。。。

• 枫木

• 在5036篇文章中引用[sw00545]
• 经过30多年的切割。。。

• 数学软件

• 引用5880篇文章[sw00554]
• 几乎所有的工作流程都涉及到计算结果，而且。。。

• Matlab语言

• 参考12052篇文章[sw00558]
• MATLAB®是一种高级语言和交互式。。。

• 元游戏

• 在10篇文章中引用[sw00572]
• 失败的模型检查运行应该伴随着。。。

• 网络X

• 参考文献108篇[sw00616]
• NetworkX（NX）是一个Python包，用于。。。

• QEPCAD公司

• 引用了275篇文章[sw00752]
• QEPCAD B:一个半自动计算程序。。。

• R

• 引用8309篇文章[sw00771]
• 是一种统计语言和环境。。。

• 减少

• 引用739篇文章[sw00789]
• REDUCE是一个通用代数的交互系统。。。

• 圣哲

• 在1617篇文章中引用[sw00825]
• Sage（SageMath）是免费的，开源的数学软件。。。

• 科学实验室

• 引用166篇文章[sw00834]
• Scilab包含数百个数学函数。它有。。。

• 单数

• 在1373篇文章中引用[sw00866]
• 奇异是一个计算机代数系统（CAS）为。。。