A symbolic calculus for a class of quantum computing circuits

Fatima Hadjam, Claudio Moraga

This paper introduces a symbolic calculus to evaluate the output signals at the target line(s) of quantum computing subcircuits using controlled negations and controlled-Q gates, w…