domains / families / science / ors-methods

ors-methods

separate

Use when designing the proof technique, algorithm, or simulation protocol for an Operations Research (OR) manuscript — choosing the right machinery (duality, dynamic programming, probabilistic coupling, convergence analysis, simulation output analysis) to actually establish the claimed results. Establishes the results; it does not state the model (ors-theory-development) or run the experiments (ors-data-analysis).

When to use

• designing proof techniques
• designing algorithms with provable guarantees
• designing simulation protocols
• choosing mathematical machinery for OR manuscripts
• establishing optimality or duality results
• proving convergence and rates
• analyzing stochastic comparisons
• addressing proof gaps or rate establishment

When not to use

• stating the model
• running experiments
• ors-theory-development
• ors-data-analysis
• modeling
• optimization
• simulation

Skill page

Source