• VeriFast公司

  • 参考文献62篇[sw07705]
  • 程序员可以声明归纳数据类型和原始的 递归的功能规范。通过符号。。。关于原始的 递归的功能。使用SMT解算器。。。
  • 数量

  • 引用了150篇文章[sw07543]
  • 程序和添加一个原始的允许用户给出提示的工具。。。允许有界量化和部分递归的功能。这些逻辑上的变化被描述。。。
  • SAFL公司

  • 引用5篇文章[sw13687]
  • 无与伦比的空间原始的 递归的功能,特别是口译员是可表达的。动机。。。
  • 缎子

  • 参考第8条[sw08972]
  • 爪哇绸缎原语这对程序员来说非常方便。。。程序、分而治之算法由递归地把问题分成更小的子问题。这个。。。
  • 福塞帕

  • 1条引用[sw20791]
  • 递归地修正分段多项式表示的截断误差原始的变量。。。
  • zk斯纳克

  • 参考11篇文章【sw22495】
  • 一般的NP语句是一种强大的密码学原始的无论是在理论上还是在实际应用中。。。提供了一种可伸缩性的方法,通过递归地撰写证明:证明关于接受的陈述。。。
  • 米娅

  • 引用2篇文章[sw27078]
  • 通用的,包括循环构造和递归它不包括副作用和原位手术。。。控制流与全微分原语。编译为高效的CPU和GPU代码,以优化。。。
  • 海克索特

  • 引用2篇文章[sw17476]
  • 二元的递归,我们执行k-way递归在其中轴被精确地选择。。。避免O(p)-集体交流原语我们还提供了一个阶段性的通信样本,它。。。
  • 差距

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

  • 引用了275篇文章[sw00418]
  • HSL(以前的哈韦尔子程序库)是一个。。。
  • 岩浆

  • 引用3137篇文章[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 参考6235篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。