
Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MEBDF
 Referenced in 85 articles
[sw00567]
 An MEBDF package for the numerical solution of...

PROFIL/BIAS
 Referenced in 134 articles
[sw00733]
 PROFIL (Programmer’s Runtime Optimized Fast Interval Library...

REDUCE
 Referenced in 746 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

ScaLAPACK
 Referenced in 417 articles
[sw00830]
 ScaLAPACK is an acronym for scalable linear algebra...

ML
 Referenced in 522 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

QUADPACK
 Referenced in 260 articles
[sw01236]
 Fortran subprograms for evaluating definite integrals of functions...

DiVer
 Referenced in 10 articles
[sw01938]
 DiVer: SATbased model checking platform for verifying...

Isabelle/Isar
 Referenced in 95 articles
[sw02006]
 Building formal method tools in the Isabelle/Isar framework...

CASL
 Referenced in 174 articles
[sw02235]
 The specification language developed by CoFI is called...

SLAM
 Referenced in 153 articles
[sw03136]
 SLAM is a project for checking that software...

DASSL
 Referenced in 262 articles
[sw03174]
 Subroutine DDASSL uses the backward differentiation formulas of...

BLAS
 Referenced in 496 articles
[sw03216]
 Lowlevel utilities common to many mathematical software...

RAISE
 Referenced in 15 articles
[sw03248]
 The development of the RAISE tools. The use...

IF2.0
 Referenced in 46 articles
[sw03303]
 IF2.0: A validation environment for componentbased...

SPIN
 Referenced in 723 articles
[sw03455]
 Spin is a popular opensource software tool...

PVS
 Referenced in 629 articles
[sw03484]
 PVS is a verification system: that is, a...

Haskell
 Referenced in 879 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...