• Mathematica

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

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

  • Referenced in 172 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • Paramils

  • Referenced in 87 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • TSPLIB

  • Referenced in 698 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • Moby/DC

  • Referenced in 5 articles [sw01395]
  • Moby/DC -- A tool for model-checking parametric real...
  • AFRA

  • Referenced in 29 articles [sw02090]
  • AFRA: argumentation framework with recursive attacks. The issue...
  • PREVAIL

  • Referenced in 7 articles [sw02114]
  • PREVAIL: A proof environment for VHDL descriptions The...
  • VAMPIRE

  • Referenced in 258 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • CUDA

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

  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...
  • AMPL

  • Referenced in 617 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...
  • UCI-ml

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

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

  • Referenced in 26 articles [sw04175]
  • Darwin is an automated theorem prover for first...
  • SPSS

  • Referenced in 673 articles [sw04269]
  • SPSS is a computer program used for survey...