convex-optimization
Installation
SKILL.md
Convex Optimization
When to Use
Use this skill when working on convex-optimization problems in optimization.
Decision Tree
- Verify Convexity
- Objective function: Hessian positive semidefinite?
- Constraint set: intersection of convex sets?
z3_solve.py prove "hessian_psd"