May 30, 2026 JAX, Static-Shape Programming and Polyhedron — Part 2: Deriving the Closed Form Aug 20, 2025 JAX, Static-Shape Programming and Polyhedron