On the formalization of cardinal points of optical systems

DOI10.1007/978-3-319-16577-6_4MaRDI QIDQ5348536zbMATH OpenOpenAlexFDO

Authors 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

cardinal pointsHOL lightoptical systemstheorem proving

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Geometric optics (78A05)

Recommendations

• Formal analysis of optical systems
• On the Formal Analysis of Geometrical Optics in HOL
• Formal verification of stability and chaos in periodic optical systems
• On the formal analysis of Gaussian optical systems in HOL
• Formal Analysis of Optical Waveguides in HOL

Cites work

• A Framework for Formal Reasoning about Geometrical Optics
• Formal analysis of optical systems
• Formal Analysis of Optical Waveguides in HOL
• scientific article; zbMATH DE number 5539366 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• On the Formal Analysis of Geometrical Optics in HOL
• The HOL Light theory of Euclidean space

Cited in

(3)

• Formal verification of stability and chaos in periodic optical systems
• On the formal analysis of Gaussian optical systems in HOL
• Formal analysis of optical systems

Describes a project that uses

Uses Software

• HOL Light
• Flyspeck

This page was built for publication: On the formalization of cardinal points of optical systems

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