Manip

swMATH12425MaRDI QIDQ24353FDOQ24353

Author name not available (Why is that?)

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

Cited In (5)

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

This page was built for software: Manip