• SeDuMi

  • Referenced in 1272 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • SDPT3

  • Referenced in 697 articles [sw04009]
  • This software is designed to solve conic programming...
  • UCI-ml

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

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

  • Referenced in 2766 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • SMT-LIB

  • Referenced in 194 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • FFTW

  • Referenced in 540 articles [sw04126]
  • FFTW is a C subroutine library for computing...
  • GeoGebra

  • Referenced in 381 articles [sw04203]
  • GeoGebra is free and multi-platform dynamic mathematics...
  • Bioconductor

  • Referenced in 320 articles [sw04205]
  • Bioconductor provides tools for the analysis and comprehension...
  • LINPACK

  • Referenced in 520 articles [sw04209]
  • LINPACK is a collection of Fortran subroutines that...
  • Mathcad

  • Referenced in 139 articles [sw04210]
  • PTC Mathcad is the Industry Standard Software for...
  • ABAQUS

  • Referenced in 1594 articles [sw04215]
  • The Abaqus Unified FEA product suite offers powerful...
  • SPSS

  • Referenced in 673 articles [sw04269]
  • SPSS is a computer program used for survey...
  • Simulink

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

  • Referenced in 160 articles [sw04356]
  • R package quantreg: Quantile Regression. Estimation and inference...
  • SATO

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • WinBUGS

  • Referenced in 764 articles [sw04492]
  • WinBUGS is part of the BUGS project, which...