Results 1 to 20 of 1481
Sort by:

  • BEMLIB
  • Referenced in 103 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 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...

  • Apron
  • Referenced in 68 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 65 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 175 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

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

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

  • CGAL
  • Referenced in 374 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 1845 articles [sw00161]
  • Coq is a formal proof management system. It...