• GAMS

  • Referenced in 806 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...
  • Cliquer

  • Referenced in 63 articles [sw05044]
  • Cliquer - routines for clique searching. Cliquer is a...
  • DDSIP

  • Referenced in 40 articles [sw05103]
  • Dual decomposition in two-stage stochastic mixed-integer...
  • VRP

  • Referenced in 928 articles [sw05207]
  • The Vehicle Routing Problem (VRP) is one of...
  • HOL

  • Referenced in 465 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • WEKA

  • Referenced in 266 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...
  • Rodin

  • Referenced in 78 articles [sw07083]
  • The Rodin Platform is an Eclipse-based IDE...
  • Forecast

  • Referenced in 60 articles [sw07972]
  • forecast: Forecasting functions for time series and linear...
  • glmnet

  • Referenced in 390 articles [sw08159]
  • R package glmnet: Lasso and elastic-net regularized...
  • MaSh

  • Referenced in 19 articles [sw08206]
  • MaSh: Machine Learning for Sledgehammer. Sledgehammer integrates automatic...
  • Z

  • Referenced in 272 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...
  • zoo

  • Referenced in 34 articles [sw10603]
  • R package zoo: S3 Infrastructure for Regular and...
  • bc-prod

  • Referenced in 42 articles [sw10663]
  • bc-prod: a specialized branch-and-cut system...
  • QRM

  • Referenced in 583 articles [sw11358]
  • R package QRM: Provides R-language Code to...
  • SAP APO

  • Referenced in 21 articles [sw13389]
  • SAP Advanced Planning and Optimization (SAP APO) provides...
  • 01poly

  • Referenced in 15 articles [sw14281]
  • Remote computing services via e-mail. 0/1-Polytopes. By...