Lurupa

MaRDI QIDQ21957swMATHFDO

Official website http://www.ti3.tuhh.de/~keil/#software

Cited in

(5)

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

This page was built for software: Lurupa