scientific article

zbMath1486.81064arXiv1901.10118MaRDI QIDQ3385643

No author found.

Publication date: 20 December 2021

Full work available at URL: https://arxiv.org/abs/1901.10118

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Quantum computation (81P68) Analytic circuit theory (94C05)

Related Items (1)

An automated deductive verification framework for circuit-building quantum programs

Cites Work

• Unnamed Item
• Unnamed Item
• REVS: a tool for space-optimized reversible circuit synthesis
• Verified compilation of space-efficient reversible circuits
• Classical concepts in quantum programming
• Algebraic Effects, Linearity, and Quantum Programming Languages
• Dependent types and multi-monadic effects in F*
• An Introduction to Quantum Programming in Quipper
• Reversible Computing
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Reversible simulations of elastic collisions
• QWIRE: a core language for quantum circuits
• Logical Reversibility of Computation

This page was built for publication: