• BEMLIB

  • Referenced in 101 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • 2LEV-D2P4

  • Referenced in 9 articles [sw00009]
  • We present a package of parallel preconditioners which...
  • ADOL-C

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

  • Referenced in 82 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • ALIBABA

  • Referenced in 1 article [sw00028]
  • The ALIBABA nonlinear optimization package. The purpose of...
  • AMD

  • Referenced in 55 articles [sw00039]
  • Algorithm 837: AMD is a set of routines...
  • ANSYS

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

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

  • Referenced in 6 articles [sw00069]
  • BBVSCG - A variable-storage algorithm for function minimization...
  • BoomerAMG

  • Referenced in 170 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • BPMPD

  • Referenced in 40 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • Cadabra

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

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

  • Referenced in 370 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CHABIS

  • Referenced in 19 articles [sw00119]
  • Algorithm 666. CHABIS: A mathematical software package for...
  • Chaste

  • Referenced in 48 articles [sw00122]
  • Chaste: incorporating a novel multi-scale spatial and...
  • Cinderella

  • Referenced in 152 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • complib

  • Referenced in 32 articles [sw00149]
  • COMPlib: COnstraint matrix-optimization problem library–a collection...
  • COOPT

  • Referenced in 5 articles [sw00158]
  • The paper is devoted to promoting and describing...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...