scientific article; zbMATH DE number 3102927

MaRDI QIDQ5841703zbMATH OpenFDO

Authors N. Arley

Publication date 1945

Cited in

(4)

• On the Formal Analysis of Geometrical Optics in HOL
• Dihedral representations and statistical geometric optics II: elementary optical instruments
• The Mathematics of Geometrical and Physical Optics
• A Framework for Formal Reasoning about Geometrical Optics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5841703)