Export Citations
1 Results for: Book/Issue: SNC '14: Proceedings of the 2014 Symposium on Symbolic-Numeric Computation
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,842,394 records)|Limit your search to The ACM Full-Text Collection (774,496 records)
Showing 1 - 1of1 Results
Select All
- research-articleJuly 2014
A recursive decision method for termination of linear programs
SNC '14: Proceedings of the 2014 Symposium on Symbolic-Numeric ComputationPages 97–106https://doi.org/10.1145/2631948.2631966In their CAV 2004 and 2006 papers, Tiwari and Braverman have proved that, for a class of linear programs over the reals, termination is decidable. In this paper, we propose a new algorithm to decide whether a program of the same class terminates or not. ...
