- Referenced in 22 articles
- 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...
- Referenced in 9 articles
- 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...
- Referenced in 2 articles
- 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...
- Referenced in 1835 articles
- Coq is a formal proof management system. It...
- Referenced in 2974 articles
- GAP is a system for computational discrete algebra...
- Referenced in 12640 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 8836 articles
- R is a language and environment for statistical...
- Referenced in 517 articles
- ML (’Meta Language’) is a general-purpose functional...
- Referenced in 24 articles
- CORO, a modeling and an algorithmic framework for...
- Referenced in 173 articles
- The specification language developed by CoFI is called...
- Referenced in 165 articles
- CONOPT is a generalized reduced-gradient (GRG) algorithm...
- Referenced in 625 articles
- PVS is a verification system: that is, a...
- Referenced in 862 articles
- Haskell is a standardized, general-purpose purely functional...
- Referenced in 2641 articles
- IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
- Referenced in 179 articles
- SPASS is an automated theorem prover for first...
- Referenced in 771 articles
- Simulink® is an environment for multidomain simulation and...
- Referenced in 474 articles
- The Mizar System is the only implementation of...
- Referenced in 854 articles
- The General Algebraic Modeling System (GAMS) is specifically...
- Referenced in 44 articles
- Dual decomposition in two-stage stochastic mixed-integer...