Chen Zhao (czhao.cz44@gmail.com)
Adding a new spider type, the W-spider, into the current Julia package ZXCalculus.jl and
makes it capible with the ZXW-calculus. More precisely, this will include the following features:
- Representing ZW-diagrams
- Implementing rules in the ZW-calculus
- Suppoting differentiation and integration of ZX-diagrams
- Efficient algorithms for contracting planar ZW-diagrams (matchgate tensor networks)
- Basic knowledge of quantum information, the ZX-calculus, and tensor networks
- Basic knowledge in Julia programming language