Login / Signup
Compatible rewriting of noncommutative polynomials for proving operator identities.
Cyrille Chenavier
Clemens Hofstadler
Clemens G. Raab
Georg Regensburger
Published in:
ISSAC (2020)
Keyphrases
</>
rewriting rules
real time
information retrieval
image processing
algebraic geometry
queries using views
presburger arithmetic
database
databases
neural network
learning algorithm
database systems