-
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...
-
LS-DYNA
- Referenced in 345 articles
[sw03068]
- LS-DYNA A combined Implicit/Explicit solver. One scalable...
-
L-BFGS
- Referenced in 852 articles
[sw03229]
- Algorithm 778: L-BFGS-B 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...
-
UCI-ml
- 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...