Lurupa

swMATH9980MaRDI QIDQ21957FDOQ21957

Author name not available (Why is that?)

Cited In (4)

• Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
• On verified numerical computations in convex programming
• Rigorous filtering using linear relaxations
• A reliable affine relaxation method for global optimization

This page was built for software: Lurupa