• 正规化

  • 139篇参考文献[SW0630]
  • 正规化是仿射幺半群、向量构型、格形多面体和有理函数的计算工具。不等式和同余或二项式理想。正规化计算一个理性的双锥…圆锥体(换句话说,给定发电机)正规化计算定义的超平面,反之亦然),凸…
  • 阿贝拉

  • 46篇参考文献[SW09461 ]
  • 事情,阿贝拉已被用来证明正规化关于S-演算的性质,可容许性。
  • 标准界面

  • 4篇参考文献[SW26615]
  • 标准化接口包提供了一个接口接口正规化,允许直接访问完整的功能…正规化,如仿射幺半群中的计算、向量配置、格形多面体和有理锥等。
  • LIB规范

  • 4篇参考文献[SW10123]
  • 设计,然后详细描述正规化我们在COCORALB中提供的功能…
  • 哈斯

  • 2篇参考文献[SW28026]
  • 用Python写的,依赖于正规化,MaCaulay2和任选地在4Ti2上…
  • Lisp

  • 124篇参考文献[SW07201]
  • Lisp(历史上,LISP)是一个计算机家族。