• 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...
  • Bio-LSTM

  • 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 boundary-element software library of...
  • ADOL-C

  • Referenced in 244 articles [sw00019]
  • ADOL-C: 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 Maple-based “GeM...
  • gmp

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

  • Referenced in 78 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...