On the Formalization of Cardinal Points of Optical Systems (Q5348536)
From MaRDI portal
scientific article; zbMATH DE number 6762142
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Formalization of Cardinal Points of Optical Systems |
scientific article; zbMATH DE number 6762142 |
Statements
On the Formalization of Cardinal Points of Optical Systems (English)
0 references
18 August 2017
0 references
theorem proving
0 references
HOL light
0 references
optical systems
0 references
cardinal points
0 references
