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

LAPACK
 Referenced in 1713 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

MapReduce
 Referenced in 267 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

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

PARI/GP
 Referenced in 655 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

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

SINGULAR
 Referenced in 1522 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

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

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

fda (R)
 Referenced in 1571 articles
[sw04511]
 fda: Functional Data Analysis , These functions were developed...

fastDNAml
 Referenced in 94 articles
[sw06651]
 fastDNAml is a program for estimating maximum likelihood...

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

DIMACS
 Referenced in 578 articles
[sw08221]
 The DIMACS Implementation Challenges address questions of determining...

QRM
 Referenced in 763 articles
[sw11358]
 R package QRM: Provides Rlanguage Code to...

NTRU
 Referenced in 185 articles
[sw11761]
 NTRU: A ringbased public key cryptosystem. We...

C4.5
 Referenced in 1166 articles
[sw12176]
 C4.5: programs for machine learning. (C4.5 has been...

ftsa
 Referenced in 12 articles
[sw14707]
 R package, ftsa: Functional Time Series Analysis. Functions...