Login / Signup
Compatible rewriting of noncommutative polynomials for proving operator identities.
Cyrille Chenavier
Clemens Hofstadler
Clemens G. Raab
Georg Regensburger
Published in:
CoRR (2020)
Keyphrases
</>
neural network
multiscale
rewriting rules
query rewriting
rewrite rules
algebraic geometry
lagrange interpolation
piecewise polynomial