• UCI-ml

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

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

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

  • Referenced in 154 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 552 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • KernSmooth

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

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

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

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

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

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

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

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

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

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