• 验证程序

  • 54篇参考文献[SW07705]
  • 程序员可以声明归纳数据类型和原始的 递归的规范的功能。验证通过符号进行…关于表示的等价性和事实原始的 递归的功能。使用SMT求解器…
  • NQTHM

  • 146篇参考文献[SW075 43]
  • 过程和添加一个原始的设备允许用户提供提示…有界量化和部分允许递归的功能。描述了这些逻辑的变化…
  • SAFL

  • 5篇参考文献[SW1368 7]
  • 无与伦比的空间原始的 递归的函数,特别是解释器是可表达的。动机…
  • 4篇参考文献[ SW08972]
  • SATIN与Cilk一样扩展Java基元这使得程序员非常方便。程序、分治算法由递归地把问题分成更小的子问题。
  • 氟西哌

  • 1篇参考文献[SW20791]
  • 递归地修正分段多项式表示的截断误差原始的变量。。。
  • ZK斯纳克

  • 11篇参考文献[SW22495]
  • 一般NP语句是一种强大的密码技术。原始的无论在理论上还是在实际应用中…提供了一种可伸缩性的方法递归地作证:证明接受的陈述…
  • 米亚

  • 2篇参考文献[SW27 078]
  • 一般用途,包括循环构造和递归. 它排除了副作用和就位操作…控制流与全微分基元. 编译到高效的CPU和GPU代码优化…
  • Hyk排序

  • 2篇参考文献[SW1776]
  • 二元的递归我们执行K方式递归其中枢轴被准确地选择…避免O(p)-集体通信基元. 我们还提出了一个阶段性的通信样本。
  • 辅酶Q

  • 1725篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • Gap

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

  • 250篇参考文献[SW0418]
  • HSL(以前是HWWELL子程序库)是…
  • 岩浆

  • 2602篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…
  • MATLAB

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

  • 188篇参考文献[SW06838 ]
  • NTL是一个高性能、可移植的C++库…
  • 减少

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