正规化

Normaliz是仿射幺半群、向量配置、格形多面体和有理锥的计算工具。它的输入数据可以根据发电机或顶点的系统或线性齐次丢番图方程、不等式和同余或二项式理想来指定。Orimz计算有理锥的双锥(换句话说,给定的生成器,Normaliz计算定义的超平面,反之亦然),凸壳,矢量的三角剖分,一个(不一定尖的)有理锥的希尔伯特基,有理多面体或无界多面体的整数点,整数壳,仿射幺半群、希尔伯特(或欧拉哈特)级数和希尔伯特(或ErHART)(准)多项式在Z级(例如,有理多面体)、广义(或加权)ErHART级数和勒贝格多项式积分上的NMZ-积分的正规化,用不等式、方程和同余系统描述锥和格。

该软件在ORMS也有参考价值。


ZBMaX中的参考文献(141篇)2篇标准文章

显示结果1至20的141。
按年份排序(引文
  1. 布劳恩,本杰明;戴维斯,布瑞恩:Antichain Simulice(2020)
  2. 埃尔乌法迪,Abdelhalim;勒佩利,Dominique;斯马维,哈特姆:选举结果的概率:从三个候选人到四个候选人的选举(2020)
  3. Al Ayyoub,易卜拉欣;Jaradat,Imad;Al Zoubi,Khaldoun:一类单项理想通过牛顿多面体的正规性(2019)
  4. Al Ayyoub,易卜拉欣;Nasernejad,Mehrdad;罗伯茨,Leslie G.:图的覆盖理想的正规性和某些操作下的正规性(2019)
  5. BIH,HNG NGOC:双变量完全单项理想的一个有效刻画(2019)
  6. 布伦斯,温弗里德;IcHe,波格丹;S·格尔,克里斯托夫:四候选人选举中的卷和艾哈特系列计算(2019)
  7. Burr,Michael A.;Lipman,Drew J.:混合签名、有向图的二次单项生成域(2019)
  8. 达奥,Hailong;蒙塔诺,乔纳森:理想幂的局部上同调长度(2019)
  9. GARC IG-GARC IIA,J. I.;Mai-N-AARG,N,D;莫雷诺Frasias,M. A.:有限生成幺半群中的除子闭子幺半群和最小距离(2019)
  10. J. I.,Mai-N-AARG,N,D;Vigneron Tenorio,A.:Cohen Macaulay、Gorenstein和/或布克斯鲍姆环的一些族的特征(2019)
  11. Pedro A.,奥尼尔,克里斯托弗,Webb,高塔:仿射半群分解因式的计算(2019)
  12. HiBi,Takayuki;土氏,秋子:自反多面体的深度(2019)
  13. 基姆,Donggyun;基姆,桑吉布;帕克,Euisung:关于低秩一般线性群的HiVe代数和张量积代数的结构(2019)
  14. 米莎,Mateusz,Ventura,EMANUELE:Kimura三参数模型的系统发育复杂性(2019)
  15. AVIS,戴维;约旦,查尔斯:\TeCTTMTMPLRS:一个可扩展的并行顶点/刻面枚举代码(2018)
  16. 安德烈亚斯、赫尔曼、艾伦、Konovalov、亚力山大、玛格丽斯、雷欧、Singh、Gumail:ZaseNHUS猜想对小团体的地位(2018)
  17. 卡斯蒂略,费德里克;刘,傅;尼尔,本杰明;PaffnHordz,安德烈亚斯:带负ErHART系数的光滑多面体(2018)
  18. GARC-Y-GARC IIA,J. I.;Mai-N-AARG,N,D;Vigneron Tenorio,A: Wilf仿射半群猜想的推广(2018)
  19. Gimenez、菲利普、贝纳尔、乔斯、西米斯、Aron、Villarreal、Rafael H.、维瓦雷斯、Carlos E.:单项理想的符号幂和科恩麦考利顶点加权有向图(2018)
  20. HAMANO,Ginji;HiBi,Takayuki;OHSUGI,HiDuMui: ErHART系列有限图的分数稳定集多面体(2018)