• 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...