• Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • LAPACK

  • Referenced in 1649 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5199 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6090 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12640 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MATHLAB

  • Referenced in 14 articles [sw00574]
  • MATHLAB is a computer algebra system created in...
  • REDUCE

  • Referenced in 741 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • TPS

  • Referenced in 71 articles [sw00973]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • MACSYMA

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • LPTP

  • Referenced in 7 articles [sw01822]
  • The theoretical foundations of LPTP (a logic program...
  • CLAPACK

  • Referenced in 90 articles [sw03112]
  • C version of LAPACK, a transportable library for...
  • BLAS

  • Referenced in 490 articles [sw03216]
  • Low-level utilities common to many mathematical software...
  • THF0

  • Referenced in 14 articles [sw03310]
  • THF0 is a syntactically conservative extension of the...
  • Haskell

  • Referenced in 862 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • UCI-ml

  • Referenced in 3160 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • TPTP

  • Referenced in 383 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • LINPACK

  • Referenced in 516 articles [sw04209]
  • LINPACK is a collection of Fortran subroutines that...
  • ETPS

  • Referenced in 157 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...