The following pages link to Formal analysis of optical systems (Q475384):
Displaying 6 items.
- On the formal analysis of Gaussian optical systems in HOL (Q315313) (← 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)
