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

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

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

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

LIBSVM
 Referenced in 1184 articles
[sw04879]
 LIBSVM is a library for Support Vector Machines...

Automath
 Referenced in 410 articles
[sw07127]
 Automath is a language designed by N.G. the...

Freshml
 Referenced in 50 articles
[sw08992]
 FreshML: programming with binders made simple. FreshML extends...

Python
 Referenced in 2042 articles
[sw14460]
 Python is a widely used highlevel, general...

ALGOL 60
 Referenced in 666 articles
[sw21807]
 ALGOL 60 (short for Algorithmic Language 1960) is...

GitHub
 Referenced in 2340 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...