• 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...
  • 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 101 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ADOL-C

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

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

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