Normaliz:仿射幺半群和有理锥的算法
Normaliz: Algorithms for Affine Monoids and Rational Cones
摘要:
Normaliz是一个用于求解不等式的线性系的程序。在本文中,我们提出了在程序中实现的算法,从版本2.0开始。
英文摘要:
Normaliz is a program for solving linear systems of inequalities. In this paper we present the algorithms implemented in the program, starting with version 2.0.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。