Quantum Circuit and Algorithm Validation with Prove-It.
Conference
·
OSTI ID:1639279
Abstract not provided.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE Office of Science (SC), Advanced Scientific Computing Research (ASCR)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 1639279
- Report Number(s):
- SAND2019-2368C; 673120
- Resource Relation:
- Conference: Proposed for presentation at the American Physical Society March Meeting held March 4 - February 8, 2019 in Albuquerque, NM, US.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Quantum Algorithm Verification Using Prove-It.
Formal Computer Validation of the Quantum Phase Estimation Algorithm.
Validated 3-D MHD Simulations of Optimized Singe and Nested Wire Array Z-Pinches with Detailed Circuit Coupling.
Conference
·
2019
·
OSTI ID:1807159
+5 more
Formal Computer Validation of the Quantum Phase Estimation Algorithm.
Conference
·
2016
·
OSTI ID:1348125
+1 more
Validated 3-D MHD Simulations of Optimized Singe and Nested Wire Array Z-Pinches with Detailed Circuit Coupling.
Conference
·
2009
·
OSTI ID:1141551
+9 more