• UCI-ml

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

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

  • Referenced in 332 articles [sw04419]
  • The convex hull of a point set P...
  • Yices

  • Referenced in 157 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • cddplus

  • Referenced in 13 articles [sw04443]
  • The program cdd+ is a C++ implementation of...
  • LINDO

  • Referenced in 557 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • KernSmooth

  • Referenced in 1018 articles [sw04586]
  • Kernel smoothing refers to a general methodology for...
  • Genocop

  • Referenced in 1103 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • z3

  • Referenced in 606 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • LINGO

  • Referenced in 321 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • MINOS

  • Referenced in 459 articles [sw05095]
  • MINOS is a large-scale optimization system, for...
  • quadprog

  • Referenced in 44 articles [sw05110]
  • R package quadprog: Functions to solve Quadratic Programming...
  • minpack

  • Referenced in 740 articles [sw05310]
  • Notes on optimization software. This paper is an...
  • gss

  • Referenced in 317 articles [sw06099]
  • Smoothing spline ANOVA models Nonparametric function estimation with...
  • Maude

  • Referenced in 700 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • WEKA

  • Referenced in 306 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...