Wayne M. Witzel

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 2

Top Topics

Computer Software

Mathematical Knowledge

Top Venues

Publications

Wayne M. Witzel, Warren D. Craft, Robert D. Carr, Deepak Kapur
Verifying Quantum Phase Estimation (QPE) using Prove-It. CoRR (2023)
Wayne M. Witzel, Warren D. Craft, Robert D. Carr, Joaquín E. Madrid Larrañaga
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge. CoRR (2020)