556 citations · 1.6k across the 16 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
quant-ph2018★ 117 cited
Towards Large-scale Functional Verification of Universal Quantum Circuits
Matthew Amy
We introduce a framework for the formal specification and verification of quantum circuits based on the Feynman path integral. Our formalism, built around exponential sums of polyn…
quant-ph2018★ 324 cited
Strawberry Fields: A Software Platform for Photonic Quantum Computing
Nathan Killoran, Josh Izaac, Nicolás Quesada +3
We introduce Strawberry Fields, an open-source quantum programming architecture for light-based quantum computers, and detail its key features. Built in Python, Strawberry Fields i…