• SAP APO

  • Referenced in 22 articles [sw13389]
  • Intercompany interaction on a strategic, tactical, and operative planning level; Collaboration with logistic partners from ... order receipt through stock monitoring to product shipping; Maintenance of relationships with customers and business...
  • OptiRisk

  • Referenced in 9 articles [sw06238]
  • offers products and services in the area of Optimisation, Risk Modelling, Portfolio Planning, Asset ... Liability Management, Supply Chain Management, Strategic & Tactical Management, Scheduling of Transport Asset...
  • LogiLab

  • Referenced in 2 articles [sw26947]
  • Logilab is a web software to help tactical decision using modelling and optimization. Created specifically ... tackle the flow of goods and production plans of a value creation network that...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2974 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Matlab

  • Referenced in 12640 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8836 articles [sw00771]
  • R is a language and environment for statistical...
  • ML

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • CORO

  • Referenced in 24 articles [sw02197]
  • CORO, a modeling and an algorithmic framework for...
  • CASL

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

  • Referenced in 165 articles [sw02791]
  • CONOPT is a generalized reduced-gradient (GRG) algorithm...
  • PVS

  • Referenced in 625 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Haskell

  • Referenced in 862 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • CPLEX

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

  • Referenced in 179 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • Simulink

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

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

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

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