Termination Modulo Equations by Abstract Commutation with an Application to Iteration.

Wan J. Fokkink Hans Zantema

Published in: Theor. Comput. Sci. (1997)

Keyphrases

newton raphson
differential equations
high level
rewrite systems
higher level
mathematical model
reinforcement learning
iterative process
linear equations
term rewriting
low level
object oriented databases
numerical methods
linear systems
polynomial equations
three dimensional
decision trees