• ASTRA

  • Referenced in 12 articles [sw00052]
  • Fault Tree Analysis (FTA) is a formalised deductive...
  • ACL2

  • Referenced in 243 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BIGEBRA

  • Referenced in 13 articles [sw00078]
  • Clifford and Graßmann Hopf algebras via the BIGEBRA...
  • CGAL

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

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

  • Referenced in 542 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • EULER

  • Referenced in 10 articles [sw00251]
  • This paper is aimed at the description of...
  • Expokit

  • Referenced in 129 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • gfun

  • Referenced in 115 articles [sw00344]
  • The gfun package provides tools for determining and...
  • HANKEL

  • Referenced in 2 articles [sw00398]
  • The numerical evaluation of the Hankel transform poses...
  • HSL

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

  • Referenced in 25 articles [sw00420]
  • HURRY: An acceleration algorithm for scalar sequences and...
  • LAPACK

  • Referenced in 1414 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LASS

  • Referenced in 28 articles [sw00505]
  • Local Analysis of Self-Similarity - The LASS tool...
  • LSQR

  • Referenced in 287 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Maple

  • Referenced in 4246 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATAD

  • Referenced in 39 articles [sw00550]
  • MATAD: A program package for the computation of...
  • Mathematica

  • Referenced in 4752 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 8200 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NAG

  • Referenced in 329 articles [sw00610]
  • Produced by experts for use in a variety...