Symbolic Polyhedral Omega
Geometry in symbolic dimension to solve families of integer programming problems parametrically.
Focus
- Parametric feasibility and optimality regions
- Symbolic cones & transformations
- Sensitivity and bifurcation analysis
The goal is to extend Polyhedral Omega to handle families of problems where some coefficients are symbolic (parametric), enabling family-wise solutions and sensitivity analysis.
Plan
gantt
title Symbolic PO — Semester Plan
dateFormat YYYY-MM-DD
axisFormat %b %d
Theory notes :done, a1, 2025-11-01, 2025-11-20
Parametric cone ops :active, a2, 2025-11-21, 2025-12-20
Families case studies : a3, 2025-12-21, 2026-02-05
Report & examples : a4, 2026-02-06, 2026-03-01