Manip

MaRDI QIDQ24353swMATHFDO

Official website http://shemesh.larc.nasa.gov/people/bld/ftp/manip-guide-1.3.pdf

Cited in

(6)

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

This page was built for software: Manip