Lurupa

swMATH9980MaRDI QIDQ21957FDOQ21957

Author name not available (Why is that?)

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

Cited In (5)

• 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
• PSICO

This page was built for software: Lurupa