[[ICMS2010]]
- http://www.mathematik.uni-osnabrueck.de/normaliz/
- Affine monoid, ベクトルの配置, lattice多面体, 有理的錐の計算
- 有理錐の双対, ベクトルの配置の placing triangulation や shelling, アフィンmonoid の normalization 等を計算する.
Java ベースの jNormaliz というインターフェースが存在します.
[[:included in knxm:]]