Vilmart, Renaud
- A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
2017/05/31 by Emmanuel Jeandel, Jeandel, Emmanuel, Simon Perdrix +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)
- 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)
- 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)
- 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
- Quantum Circuit Completeness: Extensions and Simplifications
2023/03/06 by Clément, Alexandre, Delorme, Noé, Perdrix, Simon +1 · 4 citations
#FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
- 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
- Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation
2022/05/05 by Vilmart, Renaud · 1 citation
#FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Physics (quant-ph)
- 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)
- Double-Logarithmic Depth Block-Encodings of Simple Finite Difference Method's Matrices
2024/10/07 by Ty, Sunheang, Vilmart, Renaud, TahmasebiMoradi, Axel +1 · 1 citation
#FOS: Physical sciences #Quantum Physics (quant-ph)