
Normaliz
 Referenced in 139 articles
[sw00630]
 computations in affine monoids, vector configurations, lattice polytopes, and rational cones. Its input data ... equations, inequalities and congruences or a binomial ideal. Normaliz computes the dual cone ... necessarily pointed) rational cone, the lattice points of a rational polytope or unbounded polyhedron...

FourTiTwo
 Referenced in 7 articles
[sw07615]
 permutation invariant chains of Laurent lattice ideals This paper is an investigation of chains ... lattice ideals in polynomial rings that are invariant under a symmetric group action. The polynomial ... ascending chain of ideals I 1 ⊆I 2 ⊆⋯ eventually stabilizes. However, the chains in question ... show that invariant chains of Laurent lattice ideals stabilize up to monomial localization. Moreover...

symmChainGens
 Referenced in 7 articles
[sw06689]
 study chains of lattice ideals that are invariant under a symmetric group action...

CaTS
 Referenced in 6 articles
[sw08112]
 reduced Groebner bases of a lattice ideal, and (2) all monomial Agraded ideals that...

NFLlib
 Referenced in 3 articles
[sw14675]
 years have witnessed an increased interest in lattice cryptography. Besides its strong security guarantees ... opensource C++ library dedicated to ideal lattice cryptography in the widelyspread polynomial ring ... favorably to other libraries used in ideal lattice cryptography implementations (namely the generic number theory...

GRIN
 Referenced in 25 articles
[sw08940]
 reduced lattice bases). We present two new algorithms for computing generatorsof toric ideals...

FVNFLlib
 Referenced in 2 articles
[sw23229]
 NFLlib C++ library dedicated to ideal lattice cryptography...

POSETS
 Referenced in 1 article
[sw32240]
 product and sum, subposet, distributive lattice of order ideals, etc. Once a poset has been...

KUBO
 Referenced in 2 articles
[sw17872]
 dimensional clusters of the square lattice in the presence of standard diagonal disorder, a uniform ... shape of the cluster is rectangular with ideal leads attached to opposite corners. Both geometrical...

CAdynamics
 Referenced in 1 article
[sw23190]
 implemented in an analog machine ideally circumventing part of the overall waste heat production ... where we find global maps for small lattices indicating an interesting underlying recursive structure...

ANSYS
 Referenced in 617 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

cdd
 Referenced in 104 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

Chaste
 Referenced in 41 articles
[sw00122]
 Chaste: incorporating a novel multiscale spatial and...

CoCoA
 Referenced in 585 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Epsilon
 Referenced in 38 articles
[sw00244]
 Epsilon is a library of functions implemented in...

FGb
 Referenced in 227 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

FLINT
 Referenced in 35 articles
[sw00297]
 Fast library for number theory: an introduction. We...

GAP
 Referenced in 2586 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 250 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 449 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...