Results 1 to 20 of 1520
Sort by:

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

  • FIDAP
  • Referenced in 37 articles [sw00006]
  • FIDAP (A Fluid Dynamics Analysis Program). This paper...

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

  • Apron
  • Referenced in 67 articles [sw00045]
  • Apron: a library of numerical abstract domains for...

  • ARfit
  • Referenced in 38 articles [sw00046]
  • ARfit is a collection of Matlab modules for...

  • ARMS
  • Referenced in 64 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...

  • ASTA
  • Referenced in 16 articles [sw00051]
  • ASTA is a tool for research in predictions...

  • ATLAS
  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...

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

  • Biota
  • Referenced in 7 articles [sw00080]
  • Biota is an object-oriented software application for...

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

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

  • CARP-CG
  • Referenced in 9 articles [sw00105]
  • CARP-CG is a conjugate gradient (CG) acceleration...

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

  • CHEMSODE
  • Referenced in 11 articles [sw00124]
  • The ODEs describing a chemical kinetics system can...

  • CNOP
  • Referenced in 7 articles [sw00139]
  • CNOP - A package for constrained network optimization. We...

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