Pages that link to "Item:Q2849513"
From MaRDI portal
The following pages link to On the Formal Analysis of Geometrical Optics in HOL (Q2849513):
Displaying 6 items.
- On the formal analysis of Gaussian optical systems in HOL (Q315313) (← links)
- Formal analysis of optical systems (Q475384) (← links)
- Formalization of geometric algebra in HOL Light (Q2323452) (← 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)