• BEMLIB

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

  • Referenced in 10 articles [sw00009]
  • We present a package of parallel preconditioners which...
  • AMBRE

  • Referenced in 30 articles [sw00038]
  • AMBRE - a Mathematica package for the construction of...
  • ANSYS

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

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

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

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Bi-CG

  • Referenced in 34 articles [sw00076]
  • Bi-CG: An effective solver for three fields...
  • BOKASUN

  • Referenced in 9 articles [sw00084]
  • BOKASUN: a fast and precise numerical program to...
  • BoomerAMG

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

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

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

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

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

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC

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

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

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