Formal Verification of Optical Quantum Flip Gate

DOI10.1007/978-3-319-08970-6_23zbMath1416.68170OpenAlexW235293953MaRDI QIDQ2879263

Vincent Aravantinos, Sofiène Tahar, Mohamed Yousri Mahmoud

Publication date: 8 September 2014

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08970-6_23

zbMATH Keywords

theorem provingquantum opticsbeam splitterHOL Lightphase conjugating mirrorquantum flip gate

Mathematics Subject Classification ID

Related Items (2)

Formalizing Physics: Automation, Presentation and Foundation Issues ⋮ A modeling and verification framework for optical quantum circuits

Uses Software

• HOL Light

This page was built for publication: Formal Verification of Optical Quantum Flip Gate