
Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

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

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

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

TOMP
 Referenced in 34 articles
[sw00971]
 Algorithm 733: TOMP  Fortran modules for optimal control...

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

PETSc
 Referenced in 1594 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

SPSS
 Referenced in 677 articles
[sw04269]
 SPSS is a computer program used for survey...

FEniCS
 Referenced in 856 articles
[sw04314]
 The FEniCS Project is a collaborative project for...

WinBUGS
 Referenced in 773 articles
[sw04492]
 WinBUGS is part of the BUGS project, which...

Ipopt
 Referenced in 787 articles
[sw04808]
 Ipopt (Interior Point OPTimizer, pronounced eyepeaOpt...

DLMF
 Referenced in 2889 articles
[sw04968]
 NIST digital library of mathematical functions. The National...

SAS
 Referenced in 1580 articles
[sw06377]
 SAS (Statistical Analysis System) is an integrated system...

HLLE
 Referenced in 695 articles
[sw06605]
 The HLLE[3] (Harten, Lax, van Leer and...

HEE1GODF
 Referenced in 956 articles
[sw06606]
 Riemann solver to solve the timedependent one...

GMRFLib
 Referenced in 338 articles
[sw06641]
 Gaussian Markov random fields. Theory and applications. Researchers...

Twelf
 Referenced in 173 articles
[sw06888]
 Twelf is a language used to specify, implement...

OEIS
 Referenced in 4285 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

topicmodels
 Referenced in 20 articles
[sw07324]
 R package topicmodels: Topic models. Provides an interface...