• 里昂

• 在10篇文章中引用[sw09159]
• 概述里昂验证系统：通过转换为递归函数进行验证。我们呈现。。。里昂Scala编程语言子集的验证系统。还有一些功能性的。。。Scala的特性，里昂支持命令结构，如突变和循环，使用翻译。。。功能形式。中的属性和程序里昂用用户定义的。。。

• 里昂

• 参考第2条[sw24616]
• 里昂：邻域的多重线形评估。序列比对是大范围。。。结果。这里我们提出了一种新的方法，里昂，以预测蛋白质之间的同源性。。。灵敏度估计为76%。里昂因此可以可靠地识别。。。

• 里昂

• 1条引用[sw11425]
• 里昂一个Maple包，用于实现里昂埃雷普瑞斯。。。还附有文章里昂的记忆]。其中一个地标。。。

• 马尔巴

• 27条引用[sw00542]
• MALLBA项目解决组合。。。

• 枫木

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

• 数学软件

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

• 蟒蛇

• 1条引用[sw00749]
• 巨蟒：专家级的压榨机。PYTHON是个专家。。。

• R

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

• 拉思

• 引用88篇[sw00779]
• 瑞斯：一个枫树包，用来寻找独自旅行的人。。。

• 侦探

• 17条引用[sw00876]
• 算法775：解决第四。。。

• 伊莎贝尔/伊萨尔

• 引用第90条[sw02006]
• 在Isabelle/Isar框架中构建形式化方法工具。。。

• MSNLP公司

• 引用3篇文章[sw03052]
• 动态过滤器和随机驱动器的多。。。

• DLV复合体

• 引用5篇文章[sw04434]
• DLV Complex是一个答案集编程系统。。。

• Isar

• 在140篇文章中引用[sw04599]
• 定理证明系统支持交互式证明开发。。。

• DLV公司

• 引用了30篇文章[sw04640]
• DLV是一个演绎数据库系统，基于。。。

• 球蛋白

• 引用了29篇文章[sw04653]
• GLOBALLib是一组非线性规划模型。。。

• z3型

• 引用496篇文章[sw04887]
• 作为一个高性能的证明者。。。

• 阿斯匹德

• 参考12篇文章[sw06309]
• 答案集编程集成开发环境。。。

• 皮德

• 在10篇文章中引用[sw06404号]
• Isabelle/jEdit——PIDE框架内的prover IDE。。。

• 绝地武士/伊莎贝尔

• 在26篇文章中引用[sw06432]
• Isabelle/jEdit——PIDE框架内的prover IDE。。。