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

lpSolve
 Referenced in 53 articles
[sw04106]
 lpSolve: Interface to Lp_solve v. 5.5 to...

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 highperformance theorem prover being...

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

CohnKanade
 Referenced in 61 articles
[sw04974]
 The CohnKanade AUCoded Facial Expression Database...

MINOS
 Referenced in 459 articles
[sw05095]
 MINOS is a largescale 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 highperformance reflective language and...

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