Wayne M. Witzel | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Deepak Kapur
10 publications
Robert D. Carr
4 publications
Warren D. Craft
2 publications
Robert Carr
1 publication
Joaquín E. Madrid Larrañaga
1 publication

research

∙ 04/05/2023

Verifying Quantum Phase Estimation (QPE) using Prove-It

The general-purpose interactive theorem-proving assistant called Prove-I...

0 Wayne M. Witzel, et al. ∙

research

∙ 12/20/2020

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

We introduce Prove-It, a Python-based general-purpose interactive theore...

0 Wayne M. Witzel, et al. ∙