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

DIRECT
 Referenced in 66 articles
[sw03054]
 Design and implementation of a massively parallel version...

LSDYNA
 Referenced in 345 articles
[sw03068]
 LSDYNA A combined Implicit/Explicit solver. One scalable...

LBFGS
 Referenced in 852 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

CIXL2
 Referenced in 19 articles
[sw03302]
 CIXL2: a crossover operator for evolutionary algorithms based...

SeDuMi
 Referenced in 1284 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...

SDPT3
 Referenced in 707 articles
[sw04009]
 This software is designed to solve conic programming...

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

SVMlight
 Referenced in 268 articles
[sw04076]
 Description (homepage): SVMlight is an implementation of Vapnik...

gensim
 Referenced in 18 articles
[sw04081]
 Gensim is a free Python framework designed to...

Gurobi
 Referenced in 714 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

FFTW
 Referenced in 552 articles
[sw04126]
 FFTW is a C subroutine library for computing...

Bioconductor
 Referenced in 328 articles
[sw04205]
 Bioconductor provides tools for the analysis and comprehension...

CODA
 Referenced in 358 articles
[sw04290]
 R package coda: Output analysis and diagnostics for...

Simulink
 Referenced in 820 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and...

CRAN
 Referenced in 568 articles
[sw04351]
 R is ‘GNU S’, a freely available language...

survival
 Referenced in 200 articles
[sw04364]
 R package survival: Survival analysis, including penalised likelihood...

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

MASS (R)
 Referenced in 354 articles
[sw04479]
 R package MASS: Support Functions and Datasets for...