Verification of Quantum Computation: An Overview of Existing Approaches

Theory of computing systems, 2019-05, Vol.63 (4), p.715-808 [Peer Reviewed Journal]

The Author(s) 2018 ;Theory of Computing Systems is a copyright of Springer, (2018). All Rights Reserved. © 2018. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1432-4350 ;EISSN: 1433-0490 ;DOI: 10.1007/s00224-018-9872-3

Full text available