• Stratego

  • Referenced in 78 articles [sw01259]
  • Stratego/XT is a language and toolset for program...
  • WordNet

  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • CrossMine

  • Referenced in 14 articles [sw01967]
  • CrossMine: Efficient classification across multiple database relations Most...
  • TBAR

  • Referenced in 7 articles [sw02237]
  • TBAR: An efficient method for association rule mining...
  • MINITAB

  • Referenced in 210 articles [sw02865]
  • Analyze your data and improve your products and...
  • DBLEARN

  • Referenced in 4 articles [sw02883]
  • A heuristic for evaluating databases for knowledge discovery...
  • OTTER

  • Referenced in 320 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • VAMPIRE

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

  • Referenced in 19 articles [sw02934]
  • Meningitis data mining by cooperatively using GDT-RS...
  • Haskell

  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • SDPT3

  • Referenced in 707 articles [sw04009]
  • This software is designed to solve conic programming...
  • UCI-ml

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

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

  • Referenced in 727 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • SPASS

  • Referenced in 185 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • RODAS

  • Referenced in 1757 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • TPTP

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

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

  • Referenced in 570 articles [sw04351]
  • R is ‘GNU S’, a freely available language...
  • Siege

  • Referenced in 38 articles [sw04437]
  • The following x86-linux executables are available for...