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

DEA
 Referenced in 244 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

Isabelle
 Referenced in 698 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LSQR
 Referenced in 394 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

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

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...

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

Meschach
 Referenced in 84 articles
[sw01112]
 Meschach: Matrix computations in C. Meschach is a...

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

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

FreeFem++
 Referenced in 1304 articles
[sw01436]
 FreeFem++ is an implementation of a language dedicated...

LBFGS
 Referenced in 805 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

CUDA
 Referenced in 1317 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

AMPL
 Referenced in 617 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

SeDuMi
 Referenced in 1272 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...

SDPT3
 Referenced in 697 articles
[sw04009]
 This software is designed to solve conic programming...

UCIml
 Referenced in 3379 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

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