-
Normaliz
- Referenced in 168 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 8 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 8 articles
[sw06689]
- study chains of lattice ideals that are invariant under a symmetric group action...
-
CaTS
- Referenced in 8 articles
[sw08112]
- reduced Groebner bases of a lattice ideal, and (2) all monomial A-graded ideals that...
-
NFLlib
- Referenced in 4 articles
[sw14675]
- years have witnessed an increased interest in lattice cryptography. Besides its strong security guarantees ... open-source C++ library dedicated to ideal lattice cryptography in the widely-spread polynomial ring ... favorably to other libraries used in ideal lattice cryptography implementations (namely the generic number theory...
-
GRIN
- Referenced in 26 articles
[sw08940]
- reduced lattice bases). We present two new algorithms for computing generatorsof toric ideals...
-
FV-NFLlib
- 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 703 articles
[sw00044]
- ANSYS offers a comprehensive software suite that spans...
-
cdd
- Referenced in 115 articles
[sw00114]
- The program cdd+ (cdd, respectively) is a C...
-
Chaste
- Referenced in 52 articles
[sw00122]
- Chaste: incorporating a novel multi-scale spatial and...
-
CoCoA
- Referenced in 654 articles
[sw00143]
- CoCoA is a system for Computations in Commutative...
-
Epsilon
- Referenced in 44 articles
[sw00244]
- Epsilon is a library of functions implemented in...
-
FGb
- Referenced in 247 articles
[sw00286]
- FGb/Gb libraryGb is a program (191 420 lines...
-
FLINT
- Referenced in 58 articles
[sw00297]
- Fast library for number theory: an introduction. We...
-
GAP
- Referenced in 3154 articles
[sw00320]
- GAP is a system for computational discrete algebra...
-
gmp
- Referenced in 282 articles
[sw00363]
- GMP is a free library for arbitrary precision...
-
Gmsh
- Referenced in 720 articles
[sw00366]
- Gmsh is a 3D finite element grid generator...