1 citations · 1 across the 1 of their papers we have counts for
1 paper
Eike Neumann, Margret Tembo
We study the problem of deciding universal termination of linear and affine loops over the reals in the bit-model of real computation. We show that both problems are as close to de…