On the Termination of Linear and Affine Programs over the Integers.

Rachid Rebiha Arnaldo Vieira Moura Nadir Matringe

Published in: CoRR (2014)

Keyphrases

integer arithmetic
floating point
linear constraints
term rewriting
data sets
databases
neural network
learning algorithm
information technology
affine transformation
affine invariant
linear systems
simple linear
linear complexity