Jeandel, Emmanuel
- A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
2017/05/31 by Emmanuel Jeandel, Simon Perdrix, Jeandel, Emmanuel +3 · 8 citations
Computer Science · Physics and Astronomy · #Computability, Logic, AI Algorithms #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications #Quantum Physics (quant-ph)
- Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
2018/01/30 by Jeandel, Emmanuel, Perdrix, Simon, Vilmart, Renaud · 3 citations
#FOS: Physical sciences #Quantum Physics (quant-ph)
- Decidable and undecidable problems about quantum automata
2003/04/11 by Vincent D. Blondel, Blondel, Vincent D., Emmanuel Jeandel +5 · 1 citation
Computer Science · Physics and Astronomy · #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Quantum-Dot Cellular Automata #quant-ph
- Undecidable word problem in subshift automorphism groups
2018/08/28 by Guillon, Pierre, Jeandel, Emmanuel, Kari, Jarkko +1 · 1 citation
#Computational Complexity (cs.CC) #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Mathematics #Group Theory (math.GR)
- Strong shift equivalence as a category notion
2021/07/19 by Jeandel, Emmanuel · 1 citation
#Category Theory (math.CT) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Rings and Algebras (math.RA)
- A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
2018/05/14 by Jeandel, Emmanuel, Perdrix, Simon, Vilmart, Renaud · 1 citation
#FOS: Physical sciences #Quantum Physics (quant-ph)
- Completeness of Graphical Languages for Mixed States Quantum Mechanics
2019/02/19 by Carette, Titouan, Jeandel, Emmanuel, Perdrix, Simon +1 · 1 citation
#FOS: Physical sciences #Quantum Physics (quant-ph)