
DLMF
 Referenced in 2889 articles
[sw04968]
 mathematical functions. The National Institute of Standards and Technology is preparing a Digital Library...

Python
 Referenced in 2164 articles
[sw14460]
 management and has a large and comprehensive standard library. Python interpreters are available for installation...

PETSc
 Referenced in 1594 articles
[sw04012]
 serial) computers. PETSc uses the MPI standard for all messagepassing communication. PETSc includes...

SINGULAR
 Referenced in 1522 articles
[sw00866]
 general implementations for computing Groebner and standard bases, including e.g. Buchberger’s algorithm and Mora...

YALMIP
 Referenced in 1063 articles
[sw04595]
 constraints and objective functions using intuitive and standard MATLAB code. Automatic categorization of problems...

Haskell
 Referenced in 885 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional programming language, with nonstrict semantics...

CVX
 Referenced in 855 articles
[sw04594]
 programs (DCPs). CVX supports a number of standard problem types, including linear and quadratic programs...

ARPACK
 Referenced in 848 articles
[sw04218]
 suitable for large scale problems. For many standard problems, a matrix factorization is not required...

WinBUGS
 Referenced in 773 articles
[sw04492]
 applied statisticians. WinBUGS can use either a standard ’pointandclick’ windows interface for controlling...

Gurobi
 Referenced in 727 articles
[sw04105]
 broad range of interfaces, access to industrystandard modeling languages, flexible licensing together with transparent...

INTLAB
 Referenced in 472 articles
[sw04004]
 multivariate (interval) polynomials rigorous real interval standard functions (fast, very accurate, 3 ulps) rigorous complex ... interval standard functions (fast, rigorous, but not necessarily sharp inclusions) rigorous input/output (outer and inner...

SPLUS
 Referenced in 630 articles
[sw02892]
 provides the tools to implement many standard and modern statistical methods made possible...

CUTEr
 Referenced in 612 articles
[sw04010]
 problems provided are written in socalled Standard Input Format (SIF). A decoder to convert...

SpalartAllmaras
 Referenced in 577 articles
[sw40754]
 SpalartAllmaras Turbulence Model: ”Standard” SpalartAllmaras OneEquation Model (SA). The following equations represents...

LSQR
 Referenced in 410 articles
[sw00530]
 Kahan. It is analytically equivalent to the standard method of conjugate gradients, but possesses more ... criteria are derived, along with estimates of standard errors for x and the condition number...

OpenFOAM
 Referenced in 555 articles
[sw04317]
 postprocessing) runs in parallel as standard, enabling users to take full advantage of computer...

XFEM
 Referenced in 391 articles
[sw01026]
 level sets, vector level sets or a standard method; standard and enriched approximations are independent...

Turbo Pascal
 Referenced in 366 articles
[sw16451]
 professional software development, with more libraries and standard library source code. The name Borland Pascal ... Pascal programming language, significantly different from Standard Pascal. Borland has released three old versions...

HyTech
 Referenced in 333 articles
[sw04125]
 HyTech generates a diagnostic error trace. The standard reference to the HyTech algorithm ... standard reference to the HyTech tool...

bootlib
 Referenced in 461 articles
[sw40642]
 statistical analysis using simulation to obtain reliable standard errors, confidence intervals, and other measures...