• AXIOM

  • Referenced in 172 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

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

  • Referenced in 4 articles [sw00070]
  • A block tridiagonal matrix is factored with minimal...
  • Bi-CG

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

  • Referenced in 26 articles [sw00082]
  • Blitz++ provides dense numeric arrays for C++ with...
  • BoomerAMG

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

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

  • Referenced in 5 articles [sw00101]
  • CANM, a program for numerical solution of a...
  • CAPLib

  • Referenced in 3 articles [sw00104]
  • The Computer Aided Parallelisation Tools (CAPTools) [C. Ierotheou...
  • CartGen

  • Referenced in 5 articles [sw00107]
  • An efficient and easy to implement method to...
  • CD2D3D

  • Referenced in 1 article [sw00113]
  • CD2D3D – a package to solve convection-dominated problems...
  • CGAL

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

  • Referenced in 50 articles [sw00122]
  • Chaste: incorporating a novel multi-scale spatial and...
  • CHEMSODE

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

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

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

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

  • Referenced in 7 articles [sw00170]
  • CsegGraph: a graph colouring instance generator. The implementation...
  • Cuba

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