logo

Theory of proveit.physics.quantum

Provide description here.

In [1]:
import proveit
%theory # toggles between interactive and static modes

Local content of this theory

common expressions axioms theorems demonstrations

Sub-theories

QFTFor work related to Nielsen & Chuang's quantum fourier transform (QFT) alg'm
QPEFor work related to Nielsen & Chuang's quantum phase estimation (QPE) alg'm

All axioms contained within this theory

proveit.physics.quantum.QFT

This sub-theory contains no axioms.

proveit.physics.quantum.QPE