Formal analysis of optical systems
From MaRDI portal
Publication:475384
DOI10.1007/s11786-014-0175-zzbMath1302.68245arXiv1403.3039OpenAlexW2139371904MaRDI QIDQ475384
Vincent Aravantinos, Ons Seddiki, Sofiène Tahar, Umair Siddique, Mohamed Yousri Mahmoud, Sanaz Khan-Afshar, Osman Hasan
Publication date: 26 November 2014
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1403.3039
theorem provingcomputer algebra systemsquantum opticsoptical systemselectromagnetic opticsray optics
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
Formal verification of stability and chaos in periodic optical systems ⋮ Formalizing Physics: Automation, Presentation and Foundation Issues ⋮ Towards the Formalization of Fractional Calculus in Higher-Order Logic ⋮ Enabling Symbolic and Numerical Computations in HOL Light ⋮ On the formal analysis of Gaussian optical systems in HOL ⋮ On the Formalization of Cardinal Points of Optical Systems ⋮ On the Formalization of Fourier Transform in Higher-order Logic ⋮ Formalization of Complex Vectors in Higher-Order Logic ⋮ A Framework for Formal Reasoning about Geometrical Optics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- A Skeptic's approach to combining HOL and Maple
- The time to the ancestor along sequences with recombination
- On the Formal Analysis of Geometrical Optics in HOL
- A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
- Single-photon device requirements for operating linear optics quantum computing outside the post-selection basis
- HOL Light: An Overview
- Formal Analysis of Optical Waveguides in HOL
- Type Classes and Filters for Mathematical Analysis in Isabelle/HOL
- Certified Computer Algebra on Top of an Interactive Theorem Prover
- Theorem Proving in Higher Order Logics
This page was built for publication: Formal analysis of optical systems
