The ZX& calculus: A complete graphical calculus for classical circuits using spiders.

Published in: QPL (2020)

Keyphrases

automated deduction
provably correct
high speed
case study
search algorithm
neural network
information retrieval
data model
formal language
relational calculus
automated theorem proving
algebraic structure
computer algebra