• z3号

  • 引用472篇文章[sw04887]
  • Z3是一个高性能的定理证明器。。。
  • 伽马

  • 在823篇文章中引用[sw04978号]
  • 通用代数建模系统(GAMS)是专门针对。。。
  • 石溪

  • 引用了76篇文章[sw05040]
  • Stony Brook算法库主要用于组合。。。
  • 斯塔塔

  • 引用313篇文章[sw06029]
  • Stata是一个完整的,综合的统计软件包。。。
  • 莫德

  • 引用651篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。
  • 抱怨

  • 在310篇文章中引用[sw06239]
  • NAG优化专家已经开发,广泛测试和。。。
  • 韦卡

  • 引用272篇文章[sw06435]
  • 韦卡:怀卡托知识分析环境。韦卡是。。。
  • MOEA/日

  • 引用了37篇文章[sw06583]
  • MOEA/D框架。进化启发式的实验分析。。。
  • P芯片

  • 引用337篇文章[sw10140]
  • P芯片。分段三次Hermite插值多项式(PCHIP)。。。
  • Z

  • 引用274篇文章[sw10291]
  • 使用Z.规范、细化和证明。这本书。。。