• BEMLIB

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

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

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

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

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

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

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

  • Referenced in 12 articles [sw00089]
  • Algorithm 812: BPOLY: An object-oriented library of...
  • CADNA

  • Referenced in 31 articles [sw00098]
  • CADNA: a library for estimating round-off error...
  • CLIFFORD

  • Referenced in 57 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

  • Referenced in 549 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Concepts

  • Referenced in 16 articles [sw00151]
  • The authors show how mathematical concepts can be...
  • CONHYP

  • Referenced in 3 articles [sw00152]
  • Algorithm 707: CONHYP: A numerical evaluator of the...
  • CONVUS

  • Referenced in 3 articles [sw00157]
  • CONVUS - an efficient package for calculating three-dimensional...
  • Coq

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

  • Referenced in 45 articles [sw00173]
  • Cuba -- a library for multidimensional numerical integration. The...
  • C-XSC

  • Referenced in 103 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 118 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • DCUHRE

  • Referenced in 21 articles [sw00190]
  • Algorithm 698: DCUHRE: an adaptive multidemensional integration routine...