Liam
Student in Bremen who studies quantum computers
Session
07-11
15:50
10min
Equivalence Checking of Dynamic Quantum Circuits
Liam
Given two quantum circuits, that differ in their number of qubits, how can we determine they behave in the same way? This talk discusses how equivalence checking has been implemented in ZXCalculus.jl using OpenQASM.jl, YaoHIR.jl and QuantumEquivalence.jl
Quantum Minisymposia
Function (4.1)