• 芒

• 2篇参考文献[SW29 33]
• 启用语义的语义组成的语句和证明属于不变性跨越不同的网络节点…数据状态操作。一个框架组成的 不变量 校样开发，包括战术…

• 找不同

• 14篇参考文献[SW0200 ]
• 查找工具实现组成的描述了基于组件的系统的验证方法。取景器应用证明通过日益强大的计算来消除潜在死锁的策略不变性…

• AODV

• 4篇参考文献[SW29 223 ]
• 机械化。这个证明依靠小说组成的提升方法不变性网络…表明伊莎贝尔/霍尔可以重新建立最证明义务自动识别准确的步骤…

• EVT

• 7篇参考文献[SW09805]
• 成功的校样如归纳法和组成的推理和副作用的有效治疗…古典证明辅助或定理证明工具，要求用户干预证明过程…关键步骤如陈述程序不变性. 然而，该工具提供了相当大的支持自动…

• 基本真实

• 1篇参考文献[SW21002]
• BRAL的逻辑规范，（III）问题导向组成的演绎推理与模型检验相结合…这种语言（即口吃）不变性和交错并发）证明-进步的原则和模型检查…

• 公理

• 168篇参考文献[SW000 063]
• 公理是一个通用的计算机代数系统。

• 辅酶Q

• 1739篇参考文献[SW0161]
• COQ是正式的证明管理系统。IT

• Gap

• 2662篇参考文献[SW0320]
• GAP是一个计算离散代数的系统…

• 伊莎贝尔

• 591篇参考文献[SW044]
• 伊莎贝尔是通用的证明助理。它允许…

• 麦考莱2

• 1538篇参考文献[SW05337 ]
• MaCulay2是一个致力于支持…的软件系统。

• 岩浆

• 2672篇参考文献[SW0540]
• 计算机代数系统（CAS）。岩浆是巨大的…

• 枫树

• 4879篇参考文献[SW0545 ]
• 30年以上的切割结果。

• 数学软件

• 5658篇参考文献[SW05354]
• 几乎任何工作流都涉及计算结果，并且…

• MATLAB

• 11343篇参考文献[SW0568]
• Matlab®是一种高级语言和交互式…

• 诺蒂

• 529篇参考文献[SW0611]
• 图论程序NUTYY：NUTY是一个程序…

• 倍频程

• 270篇参考文献[SW0466]
• GNU倍频程是一种高级语言，主要是…

• PARI/GP

• 560篇参考文献[SW0680]
• PARI/GP是一种广泛应用的计算机代数系统。

• 皮提亚

• 29篇参考文献[SW077]
• 科学家经常需要为……找到合适的软件。

• 减少

• 736篇参考文献[SW0789]
• Read是一个通用代数的交互系统。

• 萨格马特

• 1468篇参考文献[SW0825]
• SAGE（SaGeMaSe）是免费的开源数学软件…