Drupal-Biblio17<style face="normal" font="default" size="100%">Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Canonical forms for single-qutrit Clifford+T operators</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Graphical Methods in Device-Independent Quantum Cryptography</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Automated optimization of large quantum circuits with continuous parameters</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Toward the first quantum simulation with quantum speedup</style>Drupal-Biblio17<style face="normal" font="default" size="100%">A finite presentation of CNOT-dihedral operators</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Optimal ancilla-free Clifford+T approximation of z-rotations</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Optimal ancilla-free Clifford+V approximation of z-rotations</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Programming the Quantum Future</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Quipper: Concrete Resource Estimation in Quantum Algorithms</style>Drupal-Biblio17<style face="normal" font="default" size="100%">An Introduction to Quantum Programming in Quipper</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Quipper: A Scalable Quantum Programming Language</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators</style>