A Framework for Formal Reasoning about Geometrical Optics

DOI10.1007/978-3-319-08434-3_38zbMath1304.68162OpenAlexW2279892936MaRDI QIDQ5495947

Umair Siddique, Sofiène Tahar

Publication date: 7 August 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08434-3_38

Mathematics Subject Classification ID

Geometric optics (78A05)

Related Items (1)

On the Formalization of Cardinal Points of Optical Systems

Uses Software

• Flyspeck

Cites Work

• Formal analysis of optical systems
• On the Formal Analysis of Geometrical Optics in HOL

This page was built for publication: A Framework for Formal Reasoning about Geometrical Optics