• 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...
  • UCI-ml

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