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

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

eigs
 Referenced in 318 articles
[sw03702]
 eigs: Largest eigenvalues and eigenvectors of matrix The...

CUTEr
 Referenced in 569 articles
[sw04010]
 CUTEr is a versatile testing environment for optimization...

JDQR
 Referenced in 489 articles
[sw04021]
 From this page you can get a Matlab...

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

CPLEX
 Referenced in 2583 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

Gurobi
 Referenced in 530 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

RODAS
 Referenced in 1599 articles
[sw04112]
 Rosenbrock method of order 4(3), for problems...

Walksat
 Referenced in 208 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to...

Qhull
 Referenced in 304 articles
[sw04419]
 The convex hull of a point set P...

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

SparseMatrix
 Referenced in 638 articles
[sw04629]
 The University of Florida Sparse Matrix Collection. We...

Mizar
 Referenced in 469 articles
[sw04704]
 The Mizar System is the only implementation of...

KELLEY
 Referenced in 610 articles
[sw04829]
 Iterative methods for optimization This book gives an...

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

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

Prover9
 Referenced in 177 articles
[sw04969]
 Prover9 and Mace4: Prover9 is an automated theorem...