Login / Signup
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus.
Boldizsár Poór
Quanlong Wang
Razin A. Shaikh
Lia Yeh
Richie Yeung
Bob Coecke
Published in:
LICS (2023)
Keyphrases
</>
computer algebra
database
search algorithm
formal language
algebraic structure
neural network
knowledge base
user defined
real numbers
equational theories