Lattice point Enumeration 1.2-mk-0.8.1

titik kisi Pencacahan adalah perangkat lunak komputer yang didedikasikan untuk masalah penghitungan dan mendeteksi titik kisi dalam polytopes cembung, dan solusi program integer. Ini berisi sebuah implementasi dari algoritma Barvinok ini.Berikut adalah...
Baru dilihat lunak