Y-Calculus: A language for real Matrices derived from the ZX-Calculus.

Emmanuel Jeandel Simon Perdrix Renaud Vilmart

Published in: QPL (2017)

Keyphrases

formal language
relational calculus
database query languages
relational algebra
type checking
natural language
automated deduction
information retrieval
artificial intelligence
knowledge base
real life
computer algebra
expressive power
lambda calculus
data sets
programming language
data model
real world