• ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • 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...
  • 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 high-level language and interactive...
  • R

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

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • PVS

  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...
  • PETSc

  • Referenced in 1541 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • Mizar

  • Referenced in 505 articles [sw04704]
  • The Mizar System is the only implementation of...
  • HOL

  • Referenced in 583 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Nuprl

  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • OEIS

  • Referenced in 4187 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • NQTHM

  • Referenced in 151 articles [sw07543]
  • A computational logic handbook. This book is a...
  • GitHub

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