• 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 high-level 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 symbolic-numerical-graphical...

• 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 On-Line 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 R-language Code to...

• NTRU

• Referenced in 185 articles [sw11761]
• NTRU: A ring-based 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...