A modeling and verification framework for optical quantum circuits

DOI10.1007/s00165-019-00480-5zbMath1425.68250OpenAlexW2921097798MaRDI QIDQ2418045

Sofiène Tahar, Mohamed Yousri Mahmoud, Sidi Mohamed Beillahi

Publication date: 3 June 2019

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

Full work available at URL: https://doi.org/10.1007/s00165-019-00480-5

zbMATH Keywords

formal methodsquantum computingquantum opticsinteractive theorem provinghigh-order logic

Mathematics Subject Classification ID

Uses Software

• HOL Light
• GitHub
• LIQUi
• qHiPSTER

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Using quantum computers for quantum simulation
• Improving synthesis of reversible circuits: exploiting redundancies in paths and nodes of QMDDs
• Improving gate-level simulation of quantum circuits
• Quantum Process Calculus for Linear Optical Quantum Computing
• Formal Verification of Optical Quantum Flip Gate
• Quantum Computation and Quantum Information
• Shor’s Quantum Factoring Algorithm on a Photonic Chip
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Quantum Complexity Theory
• QWIRE: a core language for quantum circuits

This page was built for publication: A modeling and verification framework for optical quantum circuits