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

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]
 Lowlevel 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, generalpurpose purely functional...

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