Samson Abramsky
Bob Coecke
2008
Categorical Quantum Mechanics
arXiv:0808.1023 [quant-ph]
Miriam Backens
Hector Miller-Bakewell
Giovanni de Felice
Leo Lobski
John van de Wetering
2020
There and Back Again: A Circuit Extraction Tale
arXiv:2003.01664 [quant-ph]
Marcello Benedetti
Erika Lloyd
Stefan Sack
2019
Parameterized Quantum Circuits as Machine Learning Models
arXiv:1906.07682 [quant-ph]
R. F. Blute
J. R. B. Cockett
R. A. G. Seely
2006
Differential Categories
Mathematical Structures in Computer Science
16
06
1049
10.1017/S0960129506005676
Nicholas Chancellor
Aleks Kissinger
Joschka Roffe
Stefan Zohren
Dominic Horsman
2018
Graphical Structures for Design and Verification of Quantum Error Correction
arXiv:1611.08012 [quant-ph]
William Kingdon Clifford
1873
A Preliminary Sketch of Biquaternions
Robin Cockett
Geoffrey Cruttwell
Jonathan Gallagher
Jean-Simon Pacaud Lemay
Benjamin MacAdam
Gordon Plotkin
Dorette Pronk
2019
Reverse Derivative Categories
arXiv:1910.07065 [cs, math]
Bob Coecke
Giovanni de Felice
Konstantinos Meichanetzidis
Alexis Toumi
2020
Foundations for Near-Term Quantum Natural Language Processing
ArXiv e-prints
Bob Coecke
Ross Duncan
2008
Interacting Quantum Observables
Luca Aceto
Ivan Damgård
Leslie Ann Goldberg
Magnús M. Halldórsson
Anna Ingólfsdóttir
Igor Walukiewicz
Automata, Languages and Programming
Lecture Notes in Computer Science
Springer Berlin Heidelberg
298–310
10.1016/0022-4049(80)90101-2
Bob Coecke
Aleks Kissinger
2017
Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning
Cambridge University Press
Cambridge
10.1017/9781316219317
Alexander Cowtan
Silas Dilkes
Ross Duncan
Will Simmons
Seyon Sivarajah
2020
Phase Gadget Synthesis for Shallow Circuits
Electronic Proceedings in Theoretical Computer Science
318
213–228
10.4204/EPTCS.318.13
Alexander Cowtan
Will Simmons
Ross Duncan
2020
A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz
arXiv:2007.10515 [quant-ph]
G. S. H. Cruttwell
Bruno Gavranovi\'c
Neil Ghani
Paul Wilson
Fabio Zanasi
2021
Categorical Foundations of Gradient-Based Learning
arXiv:2103.01931 [cs, math]
Niel de Beaudrap
Xiaoning Bian
Quanlong Wang
2020
Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities
arXiv:2004.05164 [quant-ph]
Giovanni de Felice
Alexis Toumi
Bob Coecke
2020
DisCoPy: Monoidal Categories in Python
Proceedings of the 3rd Annual International Applied Category Theory Conference, ACT
333
EPTCS
10.4204/EPTCS.333.13
Arianne Meijer-van de Griend
Ross Duncan
2020
Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices
arXiv:2004.06052 [quant-ph]
Ross Duncan
Aleks Kissinger
Simon Perdrix
John van de Wetering
2020
Graph-Theoretic Simplification of Quantum Circuits with the ZX-Calculus
Quantum
4
279
10.22331/q-2020-06-04-279
Ross Duncan
Simon Perdrix
2010
Rewriting Measurement-Based Quantum Computations with Generalised Flow
International Colloquium on Automata, Languages, and Programming
Springer
285–296
10.1007/s10472-009-9141-x
Craig Gidney
Austin G. Fowler
2019
Flexible Layout of Surface Code Computations Using AutoCCZ States
arXiv:1905.08916 [quant-ph]
Amar Hadzihasanovic
Kang Feng Ng
Quanlong Wang
2018
Two Complete Axiomatisations of Pure-State Qubit Quantum Computing
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
LICS '18
ACM
New York, NY, USA
502–511
10.1145/3209108.3209128
Vojtech Havlicek
Antonio D. Córcoles
Kristan Temme
Aram W. Harrow
Abhinav Kandala
Jerry M. Chow
Jay M. Gambetta
2019
Supervised Learning with Quantum Enhanced Feature Spaces
Nature
567
7747
209–212
10.1038/s41586-019-0980-2
Nathan Haydon
Pawel Sobocinski
2020
Compositional Diagrammatic First-Order Logic
16
Philipp H. W. Hoffmann
2016
A Hitchhiker's Guide to Automatic Differentiation
Numerical Algorithms
72
3
775–811
10.1007/s11075-015-0067-6
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
2018
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
LICS '18
ACM
New York, NY, USA
559–568
10.1145/3209108.3209131
André Joyal
Ross Street
1988
Planar Diagrams and Tensor Algebra
Unpublished manuscript, available from Ross Street's website
André Joyal
Ross Street
1991
The Geometry of Tensor Calculus, I
Advances in Mathematics
88
1
55–112
10.1016/0001-8708(91)90003-P
Joon-Hwi Kim
Maverick S. H. Oh
Keun-Young Kim
2020
Boosting Vector Calculus with the Graphical Notation
arXiv:1911.00892 [hep-th, physics:physics]
Aleks Kissinger
John van de Wetering
2019
PyZX: Large Scale Automated Diagrammatic Reasoning
arXiv:1904.04735 [quant-ph]
Aleks Kissinger
John van de Wetering
2020
Reducing T-Count with the ZX-Calculus
Physical Review A
102
2
022406
10.1103/PhysRevA.102.022406
Konstantinos Meichanetzidis
Stefano Gogioso
Giovanni De Felice
Nicolò Chiappori
Alexis Toumi
Bob Coecke
2020
Quantum Natural Language Processing on Near-Term Quantum Computers
Quantum Physics and Logic (QPL)
Paul-André Melliès
2006
Functorial Boxes in String Diagrams
Zoltán Ésik
Computer Science Logic
Lecture Notes in Computer Science
Springer Berlin Heidelberg
1–30
10.1023/A:1024247613677
Aaron Meurer
Christopher P. Smith
Mateusz Paprocki
Ondřej Čertík
Sergey B. Kirpichev
Matthew Rocklin
AMiT Kumar
Sergiu Ivanov
Jason K. Moore
Sartaj Singh
Thilina Rathnayake
Sean Vig
Brian E. Granger
Richard P. Muller
Francesco Bonazzi
Harsh Gupta
Shivam Vats
Fredrik Johansson
Fabian Pedregosa
Matthew J. Curry
Andy R. Terrel
Štěpán Roučka
Ashutosh Saboo
Isuru Fernando
Sumith Kulal
Robert Cimrman
Anthony Scopatz
2017
SymPy: Symbolic Computing in Python
PeerJ Computer Science
3
e103
10.7717/peerj-cs.103
Roger Penrose
1971
Applications of Negative Dimensional Tensors
Scribd
Roger Penrose
Wolfgang Rindler
1984
Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields
Cambridge Monographs on Mathematical Physics
1
Cambridge University Press
Cambridge
10.1017/CBO9780511564048
Maria Schuld
Ville Bergholm
Christian Gogolin
Josh Izaac
Nathan Killoran
2019
Evaluating Analytic Gradients on Quantum Hardware
Physical Review A
99
3
032331
10.1103/PhysRevA.99.032331
Seyon Sivarajah
Silas Dilkes
Alexander Cowtan
Will Simmons
Alec Edgington
Ross Duncan
2020
Tket : A Retargetable Compiler for NISQ Devices
arXiv:2003.10611 [quant-ph]
M. H. Stone
1932
On One-Parameter Unitary Groups in Hilbert Space
Annals of Mathematics
33
3
643–648
10.2307/1968538
Stefan van der Walt
S. Chris Colbert
Gael Varoquaux
2011
The NumPy Array: A Structure for Efficient Numerical Computation
Computing in Science Engineering
13
2
22–30
10.1109/MCSE.2011.37
Quanlong Wang
2020
Completeness of Algebraic ZX-Calculus over Arbitrary Commutative Rings and Semirings
arXiv:1912.01003 [quant-ph]
Richie Yeung
2020
Diagrammatic Design and Study of Ansatze for Quantum Machine Learning
arXiv:2011.11073 [quant-ph]
Chen Zhao
Xiao-Shan Gao
2021
Analyzing the Barren Plateau Phenomenon in Training Quantum Neural Network with the ZX-Calculus
arXiv:2102.01828 [quant-ph]