Loading…
PyZX: Large Scale Automated Diagrammatic Reasoning
Kissinger, Aleks, van de Wetering, John
Published in Electronic proceedings in theoretical computer science (01.05.2020)
Published in Electronic proceedings in theoretical computer science (01.05.2020)
Get full text
Journal Article
Loading…
Phase Gadget Synthesis for Shallow Circuits
Cowtan, Alexander, Dilkes, Silas, Duncan, Ross, Simmons, Will, Sivarajah, Seyon
Published in Electronic proceedings in theoretical computer science (01.05.2020)
Published in Electronic proceedings in theoretical computer science (01.05.2020)
Get full text
Journal Article
Loading…
Loading…
Postquantum Steering
Sainz, Ana Belén, Brunner, Nicolas, Cavalcanti, Daniel, Skrzypczyk, Paul, Vértesi, Tamás
Published in Physical review letters (06.11.2015)
Published in Physical review letters (06.11.2015)
Get more information
Journal Article
Loading…
Loading…
QWIRE Practice: Formal Verification of Quantum Circuits in Coq
Rand, Robert, Paykin, Jennifer, Zdancewic, Steve
Published in Electronic proceedings in theoretical computer science (27.02.2018)
Published in Electronic proceedings in theoretical computer science (27.02.2018)
Get full text
Journal Article
Loading…
Proof Assistants for Teaching: a Survey
Tran Minh, Frédéric, Gonnord, Laure, Narboux, Julien
Published in Electronic proceedings in theoretical computer science (25.05.2025)
Published in Electronic proceedings in theoretical computer science (25.05.2025)
Get full text
Journal Article
Loading…
An ACL2s Interface to Z3
Walter, Andrew T., Manolios, Panagiotis
Published in Electronic proceedings in theoretical computer science (25.07.2025)
Published in Electronic proceedings in theoretical computer science (25.07.2025)
Get full text
Journal Article
Loading…
On some Classes of Reversible 2-head Automata
Nagy, Benedek, Yasin, Walaa
Published in Electronic proceedings in theoretical computer science (19.07.2025)
Published in Electronic proceedings in theoretical computer science (19.07.2025)
Get full text
Journal Article
Loading…
Loading…
The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
Roy, Patrick, van de Wetering, John, Yeh, Lia
Published in Electronic proceedings in theoretical computer science (30.08.2023)
Published in Electronic proceedings in theoretical computer science (30.08.2023)
Get full text
Journal Article
Loading…
Dagger-Drazin Inverses
Cockett, Robin, Lemay, Jean-Simon Pacaud, Srinivasan, Priyaa Varshinee
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Get full text
Journal Article
Loading…
Contributions to the Theory of Clifford-Cyclotomic Circuits
Dinh, Linh, Ross, Neil J.
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Get full text
Journal Article
Loading…
Proto-Quipper with Reversing and Control
Fu, Peng, Kishida, Kohei, Ross, Neil J., Selinger, Peter
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Get full text
Journal Article
Loading…
String Diagrams for Defect-Based Surface Code Computing
Kupper, Mateusz, Horsman, Dominic, Heunen, Chris, de Beaudrap, Niel
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Get full text
Journal Article
Loading…
High-Precision Multi-Qubit Clifford+T Synthesis by Unitary Diagonalization
Weiden, Mathias, Kalloor, Justin, Kubiatowicz, John, Younis, Ed, Iancu, Costin
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Get full text
Journal Article
Loading…
ZX-calculus is Complete for Finite-Dimensional Hilbert Spaces
Poór, Boldizsár, Shaikh, Razin A., Wang, Quanlong
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Get full text
Journal Article
Loading…
A Classification Program for Nonlocality Paradoxes of Three Qubits
de Silva, Nadish, Jana, Santanil, Yin, Ming
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Get full text
Journal Article
Loading…
Loading…
A Complete and Natural Rule Set for Multi-Qutrit Clifford Circuits
Li, Sarah Meng, Mosca, Michele, Ross, Neil J., van de Wetering, John, Zhao, Yuming
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Published in Electronic proceedings in theoretical computer science (20.08.2025)
Get full text
Journal Article