• CHAMP

  • Referenced in 6 articles [sw08494]
  • around half of the exceptional complex reflection groups...
  • BRAPH

  • Referenced in 1 article [sw26515]
  • connectivity. The brain is a large-scale complex network whose workings rely on the interaction ... used to assess important measures that reflect its topological architecture. We have developed a freeware ... network measures, performing non-parametric permutations for group comparisons, assessing the modules in the network...
  • ATLAS

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

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

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

  • Referenced in 105 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CLUCalc

  • Referenced in 34 articles [sw00133]
  • CLUCalc is a freely available software tool for...
  • Coq

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

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

  • Referenced in 58 articles [sw00297]
  • Fast library for number theory: an introduction. We...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

  • Referenced in 767 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • homalg

  • Referenced in 30 articles [sw00411]
  • homalg: a meta-package for homological algebra. The...
  • HSL

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KANT/KASH

  • Referenced in 157 articles [sw00481]
  • KASH/KANT is a computer algebra system (CAS) for...
  • LANCELOT

  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...