A Framework for Formal Reasoning about Geometrical Optics

DOI10.1007/978-3-319-08434-3_38MaRDI QIDQ5495947zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• On the Formal Analysis of Geometrical Optics in HOL
• Towards optic-based algebraic theories: the case of lenses
• Formal analysis of optical systems
• scientific article; zbMATH DE number 3102927
• Generalizing optical geometry
• scientific article; zbMATH DE number 3950880
• Geometric optics. Theory and design of astronomical optical systems using Mathematica
• An overview of mathematical modeling of geometric optics problems involving refraction
• scientific article; zbMATH DE number 4019880
• scientific article; zbMATH DE number 1945858

Cites work

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

Cited in

(5)

• On the Formal Analysis of Geometrical Optics in HOL
• Formal Analysis of Optical Waveguides in HOL
• Formal analysis of optical systems
• On the formalization of cardinal points of optical systems
• The logic of optics and the optics of logic

Describes a project that uses

Uses Software

• Flyspeck

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

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