Manip
From MaRDI portal
Software:24353
No author found.
Related Items (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
