On the formal analysis of Gaussian optical systems in HOL (Q315313)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the formal analysis of Gaussian optical systems in HOL |
scientific article; zbMATH DE number 6628719
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the formal analysis of Gaussian optical systems in HOL |
scientific article; zbMATH DE number 6628719 |
Statements
On the formal analysis of Gaussian optical systems in HOL (English)
0 references
20 September 2016
0 references
geometrical optics
0 references
Gaussian beams
0 references
quasi-optical systems
0 references
theorem proving
0 references
HOL Light
0 references
0.90825903
0 references
0.9031693
0 references
0 references
0 references
0.83834094
0 references
0.83569086
0 references
0.83388156
0 references
0.82804734
0 references
