Formal Analysis of Optical Waveguides in HOL

DOI10.1007/978-3-642-03359-9_17zbMath1252.68256OpenAlexW1498330459MaRDI QIDQ3183532

Sanaz Khan-Afshar, Sofiène Tahar, Osman Hasan

Publication date: 20 October 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03359-9_17

Mathematics Subject Classification ID

Related Items (2)

On the Formalization of Cardinal Points of Optical Systems ⋮ Formal analysis of optical systems

Uses Software

• ML
• HOL

Cites Work

• Numerical solution of initial boundary value problems involving maxwell's equations in isotropic media
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal Analysis of Optical Waveguides in HOL