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

MACSYMA
 Referenced in 721 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

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

ALGOL 68
 Referenced in 291 articles
[sw01226]
 ALGOL 68 (short for ALGOrithmic Language 1968) is...

TAXYS
 Referenced in 21 articles
[sw01389]
 TAXYS: A tool for the development and verification...

HMQV
 Referenced in 89 articles
[sw02714]
 The MQV protocol of Law, Menezes, Qu, Solinas...

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

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

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

CPLEX
 Referenced in 2804 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

Gurobi
 Referenced in 727 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

FFTW
 Referenced in 553 articles
[sw04126]
 FFTW is a C subroutine library for computing...

CHOLMOD
 Referenced in 115 articles
[sw04412]
 Algorithm 887: CHOLMOD, Supernodal Sparse Cholesky Factorization and...

Mizar
 Referenced in 506 articles
[sw04704]
 The Mizar System is the only implementation of...

QSopt_ex
 Referenced in 27 articles
[sw04722]
 QSoptExact. The objective of this software is...

COCONUT
 Referenced in 40 articles
[sw04760]
 The COCONUT Environment is a modular solver environment...

FADBAD++
 Referenced in 58 articles
[sw04863]
 FADBAD++ implements the forward, backward and Taylor methods...

HOL
 Referenced in 594 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment...

gaol
 Referenced in 14 articles
[sw05586]
 Gaol: NOT Just Another Interval Library project (”gaol...