• HR

  • 29篇参考文献[SW1092]
  • 定理生成程序。自动化的 理论 形成涉及生产对象的利益,概念…数学家哈迪和拉马努扬理论 形成在数学领域。它起作用了…从公理集(II)执行概念形成和猜测本身和(iii)使用…产生大量的检验定理自动化的定理证明者(ATP),或更小的数字…
  • SMTOTPTP

  • 5篇参考文献[SW13650]
  • 格式支持多态类型和频繁使用理论像那些未解释的函数符号一样,数组…格式是TPTP的扩展格式广泛使用自动化的定理证明,加…
  • JSMTLIB

  • 2篇参考文献[SW442]
  • 定义输入格式Satisfiability Modulo的响应要求理论 自动化的推理工具…应用新修订的SMT-LIB格式教程还描述了精细点…
  • DS-校验器

  • 1篇参考文献[SW26829 ]
  • 数字系统工具。我们提出了一个自动化的基于MATLAB的反例再现性工具,称为…基于可满足性模的模型检查工具理论用于数字系统。DSValueR再现执行…通过可交换反例验证数字系统格式
  • Gap

  • 2662篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 针织品

  • 165篇参考文献[SW0490]
  • KNITROO是求解非线性优化问题的一种解法。IT
  • MATLAB

  • 11343篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 518篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 抱怨

  • 373篇参考文献[SW0610]
  • 由专家制作,用于多种品种…
  • R

  • 7468篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 减少

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