• 阿尔夫

  • 65篇参考文献[SW08603]
  • L Of f单形型理论明确的 替代. 本文描述了实现…马丁-L-F型理论明确的 替代品. 阿尔夫是一个通用的证明助理…
  • 亚砜

  • 3篇参考文献[SW09223 ]
  • 用于模拟和比较的子SUPPEL明确的 替代品结石。该系统允许操纵…三种不同风格明确的 替代品$lambda \ sigma $,$lambda…为每个样式提供。其他明确的 替代品结石可以很容易地纳入系统…λ$-术语和术语明确的 替代品结石以其自然语法表示。
  • 6篇参考文献[SW1354]
  • 无名脊柱微积分法明确的 替代品和一个雄心勃勃的多人分享完美的术语…
  • 毫巴

  • 2篇参考文献[SW02152]
  • 推论,严格的α-演算明确的 替代品关于命名变量显示…
  • 帕索尔

  • 20篇参考文献[SW068 4]
  • 算法的版本是由代用一些头文件(从顺序切换…欺骗。此外,在PalSL中,程序员必须明晰地按顺序指定计算模板。
  • 分区查找器

  • 2篇参考文献[ SW23033 ]
  • 分区查找器:分区方案的联合选择替代系统发育分析模型在系统发育分析中…这种划分方案通常是不选择的。明确的统计证明。在这里,我们描述…最佳适配分割方案和核苷酸替代模型这些方法允许数以百万计的分区方案…
  • 全局数组

  • 9篇参考文献[ SW0725]
  • 密集多维数组,无需明确的其他过程的合作。不像其他共享…设计是为了补充而不是代替对于消息传递编程模型…
  • 罗诺德

  • 1篇参考文献[SW11718]
  • 软件我们的算法结合了核苷酸的信息。替代在一个统一的框架中的GAP模式…对齐和排序错误。它使用了明确的没有机器学习成分的统计模型…
  • Q函数

  • 1篇参考文献[SW30803]
  • 给定q序列的递归与拟合/发现明确的多项式序列的表达式。这个包裹…递归的最大公约数和形式替代品. 在这里,我们还扩展了经典方法…
  • XASP

  • 3篇参考文献[SW13876]
  • XASP,子句必须是明确地添加到商店和评估;此外条款…用户回溯不仅通过回答替代品对于Q的变量,也通过…
  • 传染性支气管炎

  • 3篇参考文献[SW0345 2]
  • 数量被分解了。本文还提供了明确的和稳定的可计算公式的上界…类似同质系统的特征。可能性代替一个“等价的”齐次齐次系统
  • 辅酶Q

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

  • 250篇参考文献[SW0363]
  • GMP是一个任意精度的自由库。
  • 岩浆

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

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

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