• Stratego

  • Referenced in 78 articles [sw01259]
  • Stratego/XT is a language and toolset for program...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • The ELAN system provides an environment for specifying...
  • CASL

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...
  • Haskell

  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • 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 3444 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 727 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • SPSS

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

  • Referenced in 307 articles [sw04273]
  • PVM (Parallel Virtual Machine) is a software package...
  • Simulink

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

  • Referenced in 557 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • AGG

  • Referenced in 50 articles [sw04449]
  • The Attributed Graph Grammar System: AGG is a...
  • WinBUGS

  • Referenced in 773 articles [sw04492]
  • WinBUGS is part of the BUGS project, which...
  • fda (R)

  • Referenced in 1571 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • YALMIP

  • Referenced in 1063 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Mizar

  • Referenced in 506 articles [sw04704]
  • The Mizar System is the only implementation of...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives...