Manip

swMATH12425MaRDI QIDQ24353FDOQ24353

Author name not available (Why is that?)

Cited In (2)

• Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
• Formalization of Bernstein polynomials and applications to global optimization

This page was built for software: Manip