Theory of
proveit
.physics
¶
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
quantum
quantum topics include work on quantum phase estimation (QPE)
All axioms contained within this theory
This theory contains no axioms directly.
proveit.physics.quantum
proveit.physics.quantum.ket_zero_in_qubit_space
proveit.physics.quantum.ket_one_in_qubit_space
proveit.physics.quantum.single_qubit_register_zero
proveit.physics.quantum.single_qubit_register_one
proveit.physics.quantum.expand_register_with_zero_ket
proveit.physics.quantum.expand_register_with_one_ket
proveit.physics.quantum.ket_plus_def
proveit.physics.quantum.hadamard_on_zero
proveit.physics.quantum.empty_gate
proveit.physics.quantum.substitution
proveit.physics.quantum.QPE.n_in_nat_pos
proveit.physics.quantum.QPE.unitary_u
proveit.physics.quantum.QPE.u_ket_register
proveit.physics.quantum.QPE.phase_in_interval
proveit.physics.quantum.QPE.eigen_uu
proveit.physics.quantum.QPE.t_in_natural_pos
proveit.physics.quantum.QPE.psi_kets_in_q_reg_space
proveit.physics.quantum.QPE.PsiKetInQRegSpace
proveit.physics.quantum.QPE.first_q_p_e
proveit.physics.quantum.QPE.mid_q_p_e
proveit.physics.quantum.QPE.Psi_1_def
proveit.physics.quantum.QPE.m_def
proveit.physics.quantum.QPE.phase_m_def
proveit.physics.quantum.QPE.best_def
proveit.physics.quantum.QPE.delta_def
proveit.physics.quantum.QPE.success_def
proveit.physics.quantum.QPE.fail_def
proveit.physics.quantum.QPE.mod_add_def
proveit.physics.quantum.QPE.alpha_def
