Publications

3 Results

Verifying Quantum Phase Estimation using Prove-It

Witzel, Wayne M.; Craft, Warren; Carr, Robert; Madrid Larranaga, Joaquin; Kapur, Deepak

Abstract not provided.

More Details

TYPE Conference Presentation YEAR 2022

DOI OSTI

Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge

Witzel, Wayne M.; Craft, Warren; Carr, Robert; Madrid Larranaga, Joaquin

Abstract not provided.

More Details

TYPE Conference Paper YEAR 2020

OSTI

Quantum Algorithm Verification Using Prove-It

Witzel, Wayne M.; Rudinger, Kenneth M.; Carr, Robert; Madrid Larranaga, Joaquin; Wingo, Jamie; Craft, Warren; Kapur, Deepak; Sarovar, Mohan

Abstract not provided.

More Details

TYPE Presentation YEAR 2019

OSTI

3 Results

3 Results