On the formal analysis of Gaussian optical systems in HOL
From MaRDI portal
Publication:315313
DOI10.1007/S00165-016-0367-1zbMATH Open1345.78002OpenAlexW2334113034MaRDI QIDQ315313FDOQ315313
Authors: Umair Siddique, Sofiène Tahar 
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
Recommendations
- On the Formal Analysis of Geometrical Optics in HOL
- Formal Analysis of Optical Waveguides in HOL
- Formal analysis of optical systems
- Gaussian Beam-Based Hybrid Method for Quasi-Optical Systems
- The Gaussian beam mode analysis of classical phase aberrations in diffraction-limited optical systems
- The Hamilton-Jacobi analysis of optical waveguides
- Gaussian Optics and Gaussian Brackets*†
- On the formalization of cardinal points of optical systems
- A system approach in the theory of optical spectral measurements
Cites Work
- 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
- Title not available (Why is that?)
- Formal analysis of optical systems
Cited In (3)
Uses Software
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)
