Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Craft, Warren D."'
Publikováno v:
Physical Review A 108(5), 052609. Published 20 November 2023
The general-purpose interactive theorem-proving assistant called Prove-It was used to verify the Quantum Phase Estimation (QPE) algorithm, specifically claims about its outcome probabilities. Prove-It is unique in its ability to express sophisticated
Externí odkaz:
http://arxiv.org/abs/2304.02183
We introduce Prove-It, a Python-based general-purpose interactive theorem-proving assistant designed with the goal of making formal theorem proving as easy and natural as informal theorem proving (with moderate training). Prove-It uses a highly-flexi
Externí odkaz:
http://arxiv.org/abs/2012.10987
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Lappin, Joseph S., Craft, Warren D.
Publikováno v:
Psychological Review. Jan2000, Vol. 107 Issue 1, p6. 33p.
Autor:
Lappin, Joseph S., Craft, Warren D.
Publikováno v:
Vision Research; November 1997, Vol. 37 Issue: 21 p2953-2974, 22p
Publikováno v:
Archives of Toxicology; October 1986, Vol. 59 Issue: 3 p167-171, 5p
Autor:
Craft, Warren D., Jones, Mark M., Basinger, Mark A., Sanders, M. Melinda, Walker, Jr., Ernst M.
Publikováno v:
Journal of Toxicology & Environmental Health; 1987, Vol. 22 Issue 3, p261, 0p