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

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

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

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

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

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

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