• Matlab

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

  • Referenced in 565 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • PariTOP

  • Referenced in 32 articles [sw00681]
  • In Quebec’s municipal taxation system, the tax...
  • R

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

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • CP-nets

  • Referenced in 138 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • FastFDs

  • Referenced in 11 articles [sw01613]
  • FastFDs: A heuristic-driven, depth-first algorithm for...
  • GOLOG

  • Referenced in 172 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • TANE

  • Referenced in 39 articles [sw02196]
  • TANE: An efficient algorithm for discovering functional and...
  • UCI-ml

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

  • Referenced in 74 articles [sw04334]
  • RSolver is a program for solving quantified inequality...
  • Mizar

  • Referenced in 505 articles [sw04704]
  • The Mizar System is the only implementation of...
  • MPT

  • Referenced in 230 articles [sw04732]
  • The Multi-Parametric Toolbox (MPT) is a free...
  • DLMF

  • Referenced in 2808 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • Prover9

  • Referenced in 197 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • JBool

  • Referenced in 115 articles [sw06185]
  • This software promotes some general and useful tools...
  • SAS

  • Referenced in 1552 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • XQuery

  • Referenced in 124 articles [sw06669]
  • XML is a versatile markup language, capable of...
  • Excel

  • Referenced in 786 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that...
  • Mace4

  • Referenced in 227 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program...