
CUDA
 Referenced in 1336 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

SPIN
 Referenced in 727 articles
[sw03455]
 Spin is a popular opensource software tool...

PVS
 Referenced in 634 articles
[sw03484]
 PVS is a verification system: that is, a...

Haskell
 Referenced in 885 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

UCIml
 Referenced in 3444 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

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

Mosek
 Referenced in 509 articles
[sw04618]
 MOSEK is a tool for solving mathematical optimization...

Uppaal
 Referenced in 658 articles
[sw04702]
 Uppaal is an integrated tool environment for modeling...

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

LIBLINEAR
 Referenced in 173 articles
[sw04880]
 LIBLINEAR is an open source library for large...

z3
 Referenced in 606 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

DLMF
 Referenced in 2889 articles
[sw04968]
 NIST digital library of mathematical functions. The National...

LBFGSB
 Referenced in 431 articles
[sw05142]
 Algorithm 778: LBFGSB Fortran subroutines for...

MIRACL
 Referenced in 30 articles
[sw06009]
 MIRACL (Multiprecision Integer and Rational Arithmetic C/C++ Library...

ChaCha
 Referenced in 31 articles
[sw07098]
 ChaCha, a variant of Salsa20. ChaCha8 is a...

eBASH
 Referenced in 22 articles
[sw07103]
 eBACS: ECRYPT benchmarking of cryptographic systems...

Triangle
 Referenced in 378 articles
[sw07890]
 Triangle: A TwoDimensional Quality Mesh Generator and...

Diehard
 Referenced in 83 articles
[sw08098]
 The diehard tests are a battery of statistical...

PRESENT
 Referenced in 182 articles
[sw08313]
 PRESENT is a new ultra lightweight block cipher...