• 汉皮

• 引用19篇文章[sw09864]
• 汉皮：A解算器对于字符串 限制条件. 汉皮是个解算器对于一串 限制条件. 汉皮。。。

• 诺恩

• 参考6篇文章[sw21853]
• 诺恩：一个SMT解算器对于一串 限制条件. 我们现在的版本1.0的诺恩。。。解算器对于一串 限制条件. 诺恩是个解算器为了表达约束语言，包括单词。。。

• S3

• 参考7篇文章【sw19495】
• 象征的一串 解算器. 我们的解算器使用新算法约束语言。。。具体来说，我们的语言涵盖了一串操作，例如JavaScript中的操作。。。

• Z3str3型

• 引用4篇文章[sw30519]
• Z3str3是一个约束 解算器对于无量词理论一串方程，正则的。。。

• Z3str2型

• 引用2篇文章[sw30520]
• 正则表达式和长度限制条件. 近年来，一串 解算器已经成为一个重要的组成部分。。。

• 卡鲁扎

• 引用2篇文章[sw12036]
• 卡鲁扎约束 解算器. 卡鲁扎是个解算器对于多个一串有界长度的变量。卡鲁扎。。。

• 符号自动机

• 引用4篇文章[sw13262]
• 最先进的力量约束 解算器对于既有表现力的自动机分析。。。传感器完毕串. 它还处理带有寄存器的传感器。约束作曲时使用解题法。。。

• 通过

• 参考7篇文章[sw21858]
• 结构到模型串，并转换一串 限制条件通过量化得到的表达式。。。原因一串价值观更快。我们的方法不需要枚举一串长度。。。基于向量的方法可以），或者具体的一串值（与基于自动机的方法一样）。因此。。。快速识别不满意的案例。我们的解算器（名为PASS）支持大多数流行的一串操作。。。

• 雷克斯

• 引用4篇文章[sw11888号]
• 探险家。限制条件形式正则表达式串无处不在。它们经常出现在编程中。。。应用。提供正则表达式支持限制条件在程序分析和测试中有几个有用的。。。分析正则表达式限制条件. Rex是使用SMT实现的解算器Z3，我们提供。。。

• 阿特拉斯

• 引用了197篇文章[sw00056]
• 本文描述了自动调谐线性代数。。。

• 可口可乐

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

• 可爱的

• 参考61篇文章[sw00177]
• 可爱：一个共同的单元测试引擎。。。

• 麦考拉2

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

• 岩浆

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

• 枫木

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

• 材料控制

• 参考文献363篇[sw00551]
• MATCONT:动态系统分岔研究之Matlab软体。。。

• 数学软件

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

• Matlab语言

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

• 超小卫星

• 引用文献531篇[sw00577]
• 可扩展的SAT-解算器. MiniSat是一个极简主义者。。。

• 恶心

• 引用558篇文章[sw00611]
• 图论程序NAUTY:NAUTY是一个程序。。。