• 可可

  • 585篇参考文献[SW0143]
  • 可可是一个系统。计算在Commutative…
  • 辅酶Q

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

  • 247篇参考文献[SW0509]
  • 在核心电脑科学领域——数据结构…
  • 岩浆

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

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

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

  • 577篇参考文献[SW0824]
  • 迭代优化方法,这本书给出了…
  • RRL

  • 55篇参考文献[SW28 904]
  • 重写规则实验室(RRL)综述。RRL…