• 芒

• 引用2篇文章[sw29233]
• 使成分声明和声明证明属于不变性跨越不同的网络节点。。。数据状态操作。一个框架成分 不变量 证明包括一个战术。。。

• 找不同

• 在14篇文章中引用[sw00200]
• 查找工具实现成分基于组件系统的验证方法。。。查找器应用证明通过日益强大的计算消除潜在死锁的策略不变性...

• AODV

• 引用4篇文章[sw29232]
• 机械化。这个证明依靠小说成分起吊方法不变性到网络。。。表明伊莎贝尔/霍尔最能重建证明自动确定义务的步骤。。。

• evt公司

• 参考7篇文章[sw09805]
• 成功的证明比如归纳法和成分推理和有效的副作用治疗。。。古典的证明助手，或定理证明工具，要求用户干预证明进程。。。关键步骤如陈述计划不变性. 然而，该工具为自动。。。

• 基本实数

• 1条引用[sw21002]
• bREAL的逻辑规范（III）以问题为导向成分演绎推理与模型检验相结合。。。这种语言（即口吃不变性以及交叉并发），证明-原理和模型检查进展。。。

• 公理

• 引用172篇文章[sw00063]
• 公理是一个通用的计算机代数系统。。。

• 克利福德

• 引用79篇文章[sw00131]
• CLIFFORD在Grass mann和。。。

• 可口可乐

• 在1807篇文章中引用[sw00161]
• Coq是正式的证明管理制度。它。。。

• 差距

• 引用2876篇文章[sw00320]
• GAP是一个计算离散代数系统。。。

• 伊莎贝尔

• 引用611篇文章[sw00454]
• 伊莎贝尔是个普通人证明助理。它允许。。。

• 麦考拉2

• 在1692篇文章中引用[sw00537]
• Macaulay2是一个致力于支持。。。

• 岩浆

• 在2917篇文章中引用[sw00540]
• 计算机代数系统（CAS）。岩浆是一个大的。。。

• 枫木

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

• 材料控制

• 引用376篇文章[sw00551]
• MATCONT:动态系统分岔研究之Matlab软体。。。

• 数学软件

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

• Matlab语言

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

• 恶心

• 参考文献561篇[sw00611]
• 图论程序NAUTY:NAUTY是一个程序。。。

• 倍频程

• 引用288篇文章[sw00646]
• GNUOctave是一种高级语言，主要是。。。

• 巴黎/GP

• 引用595篇文章[sw00680]
• GP是一个广泛应用的计算机代数系统。。。

• 皮提亚

• 引用了29篇文章[sw00747]
• 通常科学家需要找到合适的软件。。。