Pages that link to "Item:Q2849513"
From MaRDI portal
The following pages link to On the Formal Analysis of Geometrical Optics in HOL (Q2849513):
Displayed 5 items.
- On the formal analysis of Gaussian optical systems in HOL (Q315313) (← links)
- Formal analysis of optical systems (Q475384) (← links)
- Formal verification of stability and chaos in periodic optical systems (Q2361358) (← links)
- On the Formalization of Cardinal Points of Optical Systems (Q5348536) (← links)
- A Framework for Formal Reasoning about Geometrical Optics (Q5495947) (← links)