On the Formalization of Cardinal Points of Optical Systems

DOI10.1007/978-3-319-16577-6_4zbMath1368.68250OpenAlexW1204174696MaRDI QIDQ5348536

Umar Siddique, Sofiène Tahar

Publication date: 18 August 2017

Published in: Formalisms for Reuse and Systems Integration (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-16577-6_4

zbMATH Keywords

theorem provingoptical systemscardinal pointsHOL light

Mathematics Subject Classification ID

Uses Software

• HOL Light
• Flyspeck

Cites Work

• Formal analysis of optical systems
• The HOL Light theory of Euclidean space
• On the Formal Analysis of Geometrical Optics in HOL
• Formal Analysis of Optical Waveguides in HOL
• A Framework for Formal Reasoning about Geometrical Optics
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Formalization of Cardinal Points of Optical Systems