• ABSFAC

  • Referenced in 1 article [sw00012]
  • ABSFAC is a FORTRAN program that rapidly and...
  • ADOL-C

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

  • Referenced in 14 articles [sw00023]
  • A considerable class of fractal sets can be...
  • Apron

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

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

  • Referenced in 46 articles [sw00048]
  • The paper describes new recursive multilevel method for...
  • ARVO

  • Referenced in 14 articles [sw00049]
  • ARVO: A Fortran package for computing the solvent...
  • ASTA

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

  • Referenced in 9 articles [sw00053]
  • A FORTRAN program is presented which calculates asymptotics...
  • CADNA

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

  • Referenced in 11 articles [sw00109]
  • CATFISH (Collider grAviTational FIeld Simulator for black Holes...
  • cdd

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

  • Referenced in 482 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • COLAMD

  • Referenced in 19 articles [sw00145]
  • Two codes are discussed, COLAMD and SYMAMD, that...
  • Concepts

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

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

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

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

  • Referenced in 206 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Diffpack

  • Referenced in 100 articles [sw00203]
  • As modern programming methodologies migrate from computer science...