• Rees代数

  • 2篇参考文献[ SW223 20]
  • 里斯 代数MaCaulay2的包装。这介绍里斯 代数和他们的一些用途与…
  • 85篇参考文献[SW0108]
  • CASA是一种专用的计算系统。
  • 可可

  • 595篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • Gap

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

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

  • 529篇参考文献[SW0611]
  • 图论程序NUTYY:NUTY是一个程序…
  • 数字GPS

  • 102篇参考文献[SW0640]
  • 关于GAP封装的数字GPS。简短介绍之后…
  • UCI ML

  • 2847篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…
  • 肉斧

  • 48篇参考文献[SW04906]
  • MEATAXE -计算与模块化表示。MeatAxe…
  • 箴言9

  • 168篇参考文献[SW0496]
  • PROVR9和MACE4:PROVR9是一个自动化的定理…
  • MACE4

  • 195篇参考文献[SW06905]
  • 有限模型查找器MACE4。MACE4是一个程序…