Verifying Quantum Phase Estimation using Prove-It.
Abstract not provided.
- Research Organization:
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE Office of Science (SC), Advanced Scientific Computing Research (ASCR) (SC-21)
- DOE Contract Number:
- NA0003525
- OSTI ID:
- 2001862
- Report Number(s):
- SAND2022-2144C; 703700
- Country of Publication:
- United States
- Language:
- English
Similar Records
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge.
Quantum Algorithm Verification Using Prove-It.
Evaluating energy differences on a quantum computer with robust phase estimation.
Conference
·
Thu Dec 31 23:00:00 EST 2020
·
OSTI ID:1843318
Quantum Algorithm Verification Using Prove-It.
Conference
·
Thu Aug 01 00:00:00 EDT 2019
·
OSTI ID:1807159
Evaluating energy differences on a quantum computer with robust phase estimation.
Conference
·
Sun Feb 28 23:00:00 EST 2021
·
OSTI ID:1855915