• 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 high-level language and interactive...

• R

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

• L-BFGS

• Referenced in 805 articles [sw03229]
• Algorithm 778: L-BFGS-B Fortran subroutines for...

• LIBSVM

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

• Isabelle/ZF

• Referenced in 63 articles [sw04973]
• Isabelle is a generic proof assistant. It allows...

• 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 high-level, 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...