This is a Quantomatic project which contains all of the ZX-calculus axioms and some useful theorems and simplification procedures. It also includes sample graphs and derivations.
A basic configuration for QuantoDerive for working with the ZX-calculus
This is a Quantomatic project which contains all of the ZX-calculus axioms and some useful theorems and simplification procedures. It also includes sample graphs and derivations.
A basic configuration for QuantoDerive for working with the ZX-calculus
GNU General Public License v3.0