Renaud Vilmart

1. A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
   2017/05/31 by Emmanuel Jeandel, Jeandel, Emmanuel, Simon Perdrix +3 · 9 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)
2. A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum\n Mechanics
   2018/12/21 by Renaud Vilmart, Vilmart, Renaud · 5 citations
   Computer Science · Mathematics · Physics and Astronomy · #Computability, Logic, AI Algorithms #FOS: Physical sciences #Mathematical and Theoretical Analysis #Numerical Methods and Algorithms #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications #Quantum Physics (quant-ph)
3. The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford
   2020/03/12 by Renaud Vilmart, Vilmart, Renaud · 3 citations
   Physics and Astronomy · Computer Science · #Quantum Mechanics and Applications #Logic, programming, and type systems #Quantum Computing Algorithms and Architecture
4. The Many-Worlds Calculus
   2022/06/21 by Kostia Chardonnet, Marc de Visme, Chardonnet, Kostia +5 · 2 citations
   Computer Science · #Quantum Computing Algorithms and Architecture #Logic, programming, and type systems #Advanced Database Systems and Queries