• 视觉图灵机

  • 0篇参考文献[SW05664 ]
  • 让你创造的程序图灵 机器用点和点击界面代替…语言你可以包装你的情结机器进入之内盒子,然后再用它们…
  • 辅酶Q

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

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

  • 11343篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • PARI/GP

  • 560篇参考文献[SW0680]
  • PARI/GP是一种广泛应用的计算机代数系统。
  • R

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

  • 498篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • CVX

  • 632篇参考文献[SW0494]
  • CVX是一个用于建模和建模的系统。
  • 凯利

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

  • 218篇参考文献[SW0583]
  • GNU科学图书馆(GSL)是一个数字…