Publications

Advanced Search

5 Results

Scope

Center for Computing Research

All Sandia Publications

Publication Type

Author

Funding Source

Current Filters Clear all

Remove author filter×

Publication	Type	Year
Verifying Quantum Phase Estimation using Prove-It American Physical Society March Meeting 2022 Wayne Witzel, Warren Craft, Robert Carr, Joaquin Emilio Madrid Larranaga, Deepak Kapur	Conference Presentation – 2022 Conference Presentation	2022
Verifying Quantum Phase Estimation using Prove-It APS March Meeting Wayne Witzel, Warren Craft, Robert Carr, Joaquin Emilio Madrid Larranaga, Deepak Kapur	Abstract – 2021 Abstract	2021
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge Interactive Theorem Proving Wayne Witzel, Warren Craft, Robert Carr, Joaquin Emilio Madrid Larranaga https://www.osti.gov/search/identifier:1843318	Conference Paper – 2021 Conference Paper	2021
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge Interactive Theorem Proving Wayne Witzel, Warren Craft, Robert Carr, Joaquin Emilio Madrid Larranaga	Abstract – 2021 Abstract	2021
Quantum Algorithm Verification Using Prove-It Cis Eab Wayne Witzel, Kenneth Michael Rudinger, Robert Carr, Joaquin Emilio Madrid Larranaga, Jamie Joann Wingo, Warren Craft, Deepak Kapur, Mohan Sarovar https://www.osti.gov/search/identifier:1807159	Display or Poster (non-conference) – 2019 Display or Poster (non-conference)	2019
Document Title	Type	Year