-
Mathematica
- Referenced in 6337 articles
[sw00554]
- Almost any workflow involves computing results, and that...
-
Matlab
- Referenced in 13460 articles
[sw00558]
- MATLAB® is a high-level 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 general-purpose functional...
-
QUADPACK
- Referenced in 260 articles
[sw01236]
- Fortran subprograms for evaluating definite integrals of functions...
-
DiVer
- Referenced in 10 articles
[sw01938]
- DiVer: SAT-based 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]
- Low-level utilities common to many mathematical software...
-
RAISE
- Referenced in 15 articles
[sw03248]
- The development of the RAISE tools. The use...
-
IF-2.0
- Referenced in 46 articles
[sw03303]
- IF-2.0: A validation environment for component-based...
-
SPIN
- Referenced in 723 articles
[sw03455]
- Spin is a popular open-source 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, general-purpose purely functional...
