
Gecode
 Referenced in 63 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 7 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 101 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

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

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

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

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

cdd
 Referenced in 110 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 242 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

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

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

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

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

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