
Gecode
 Referenced in 65 articles
[sw06272]
 implements more than 70 constraints from the Global Constraint Catalog and many more ... search engines (parallel, interactive graphical, restarts); automatic symmetry breaking (LDSB); MiniZinc support; and many more ... parts including reference documentation, implementations of global constraints, and examples are available as source code...

AllDifferent
 Referenced in 4 articles
[sw08967]
 applications for this global constraint including instruction scheduling and symmetry breaking. We give an efficient...

SMEFTsim
 Referenced in 8 articles
[sw23894]
 large, it is important to develop global analyses on reduced sets of parameters minimizing ... kinematics of scattering events and symmetries. We simultaneously develop the theoretical framework...

GFIT4C
 Referenced in 3 articles
[sw10211]
 Global potential energy surfaces (GPES) for tetratomic molecular systems, containing at least one group ... initio points. The permutational symmetry of the potential, corresponding to the two identical nuclei ... Computer Physics Communications catalogue number: ADNB). The global fit obtained fulfills the stringent criteria needed...

AIFS
 Referenced in 14 articles
[sw00023]
 location of the attractor nor its global shape. Then, Iterated Systems are not affinely invariant ... tissues in different stages of development, symmetry, gradual transformation from one to another form...

GFIT3C
 Referenced in 2 articles
[sw10213]
 Global fit of ab initio potential energy surfaces. I: Triatomic systems. This paper gives ... claim that his approach maintains all the symmetry properties of the system and fulfils some...

BioLSTM
 Referenced in 1 article
[sw25897]
 network is able to predict poses and global locations for multiple pedestrians simultaneously, for pedestrians ... periodicity of human walking (gait), the mirror symmetry of the human body, and the change...

BEMLIB
 Referenced in 103 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

ADOLC
 Referenced in 244 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

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

BARON
 Referenced in 331 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Cadabra
 Referenced in 84 articles
[sw00097]
 Cadabra is a powerful computer program for the...

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

CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

DEA
 Referenced in 244 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

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

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

GeM
 Referenced in 96 articles
[sw00332]
 We present a recently developed Maplebased “GeM...

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

HOM4PS
 Referenced in 78 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...