DOE OSTI · 1807159
Quantum Algorithm Verification Using Prove-It.
Abstract
Abstract not provided.
Keep this discovery
Explore connections, maps & timelines
Witzel, Wayne, Rudinger, Kenneth Michael, Carr, Robert, Madrid Larranaga, Joaquin, Wingo, Jamie Joann, Craft, Warren, Kapur, Deepak, Sarovar, Mohan. 2019-08-01. Quantum Algorithm Verification Using Prove-It.. https://www.osti.gov/biblio/1807159
Cite the original work for its findings. Save a collection to share your selection of sources.