1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Bican Xia, Zhihai Zhang
Tiwari proved that termination of linear programs (loops with linear loop conditions and updates) over the reals is decidable through Jordan forms and eigenvectors computation. Bra…