• 结块器

  • 5篇参考文献[SW0979]
  • GalCulter:A的功能原型伽罗瓦-联系基于证明助手。GalCulter是名称…完全基于代数伽罗瓦 联系. 当与点自由变换相结合时…如间接平等原则,伽罗瓦 联系提供一个非常强大,通用的设备…
  • 哈尔夫

  • 1篇参考文献[ SW329 68 ]
  • 直接在Xen管理程序上。同时伽罗瓦最初设计的HALVM允许快速…更广泛的用例。什么时候?有联系的适当的库,HALVM…
  • Gap

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

  • 70篇参考文献[SW0410]
  • HOM4PS-2.0:一个求解多项式的软件包
  • HAMALG

  • 26篇参考文献[SW0411]
  • HOMALG:同调代数的元包。这个。。。
  • 勒达

  • 258篇参考文献[SW0509]
  • 在核心的计算机科学领域——数据结构…
  • 岩浆

  • 2716篇参考文献[SW0540]
  • 计算机代数系统(CAS)。岩浆是巨大的…
  • MATLAB

  • 11446篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 诺蒂

  • 533篇参考文献[SW0611]
  • 图论程序NUTYY:NUTY是一个程序…
  • PARI/GP

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

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