9 citations · 10 across the 3 of their papers we have counts for
3 papers
quant-ph2023
Improved Synthesis of Toffoli-Hadamard Circuits
Matthew Amy, Andrew N. Glaudell, Sarah Meng Li +1
The matrices that can be exactly represented by a circuit over the Toffoli-Hadamard gate set are the orthogonal matrices of the form , where is an integer matr…
quant-ph2023★ 1 cited
Catalytic Embeddings of Quantum Circuits
M. Amy, M. Crawford, A. N. Glaudell +3
If a set of quantum gates is countable, then the operators that can be exactly represented by a circuit over form a strict subset of the collection of all…
cs.PL2014★ 9 cited
Quipper: Concrete Resource Estimation in Quantum Algorithms
Jonathan M. Smith, Neil J. Ross, Peter Selinger +1
Despite the rich literature on quantum algorithms, there is a surprisingly small amount of coverage of their concrete logical design and implementation. Most resource estimation is…