On the formal analysis of Gaussian optical systems in HOL

DOI10.1007/S00165-016-0367-1zbMATH Open1345.78002OpenAlexW2334113034MaRDI QIDQ315313FDOQ315313

Sofiène Tahar, Umair Siddique

Publication date: 20 September 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-016-0367-1

zbMATH Keywords

theorem provingGaussian beamsgeometrical opticsHOL Lightquasi-optical systems

Mathematics Subject Classification ID

Geometric optics (78A05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
• HOL Light: An Overview
• Automated Reasoning
• The HOL Light theory of Euclidean space
• On the Formal Analysis of Geometrical Optics in HOL
• Quantum Process Calculus for Linear Optical Quantum Computing
• Formalizing Physics: Automation, Presentation and Foundation Issues
• Formal analysis of optical systems

Cited In (2)

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

Uses Software

• HOL Light
• Flyspeck

Recommendations

• A system approach in the theory of optical spectral measurements 👍 👎
• On the Formal Analysis of Geometrical Optics in HOL 👍 👎
• THE HAMILTON–JACOBI ANALYSIS OF OPTICAL WAVEGUIDES 👍 👎
• Formal Analysis of Optical Waveguides in HOL 👍 👎
• The Gaussian beam mode analysis of classical phase aberrations in diffraction-limited optical systems 👍 👎
• Formal analysis of optical systems 👍 👎
• On the Formalization of Cardinal Points of Optical Systems 👍 👎
• Gaussian Beam-Based Hybrid Method for Quasi-Optical Systems 👍 👎
• Gaussian Optics and Gaussian Brackets*† 👍 👎

This page was built for publication: On the formal analysis of Gaussian optical systems in HOL

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