• 里昂

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

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

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

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

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

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

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

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

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

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