The following pages link to Formal analysis of optical systems (Q475384):
Displaying 10 items.
- On the formal analysis of Gaussian optical systems in HOL (Q315313) (← links)
- Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light} (Q2198134) (← links)
- Formal verification of stability and chaos in periodic optical systems (Q2361358) (← links)
- On the Formalization of Fourier Transform in Higher-order Logic (Q2829282) (← links)
- Formalizing Physics: Automation, Presentation and Foundation Issues (Q3453125) (← links)
- Towards the Formalization of Fractional Calculus in Higher-Order Logic (Q3453127) (← links)
- Enabling Symbolic and Numerical Computations in HOL Light (Q3453133) (← links)
- On the Formalization of Cardinal Points of Optical Systems (Q5348536) (← links)
- Formalization of Complex Vectors in Higher-Order Logic (Q5495918) (← links)
- A Framework for Formal Reasoning about Geometrical Optics (Q5495947) (← links)