• JuliBootS

  • Referenced in 32 articles [sw40366]
  • bounds, and bootstrap with or without global symmetries. The code is trivially parallelizable...
  • Gecode

  • Referenced in 82 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 9 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...
  • PolyMat

  • Referenced in 5 articles [sw40601]
  • design variables, i.e., they can be defined globally or locally for any subset ... local constraints to break symmetries or achieve graded geometries...
  • 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 108 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 703 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Cadabra

  • Referenced in 91 articles [sw00097]
  • Cadabra is a powerful computer program for the...
  • cdd

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

  • Referenced in 202 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 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GeM

  • Referenced in 97 articles [sw00332]
  • We present a recently developed Maple-based “GeM...