Results 21 to 40 of 94
Sort by:

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