1. Erwin H. Bareiss . 1968. Sylvester’s identity and multistep integer-preserving Gaussian elimination. Mathematics of computation 22, 103 ( 1968 ), 565–578. Erwin H. Bareiss. 1968. Sylvester’s identity and multistep integer-preserving Gaussian elimination. Mathematics of computation 22, 103 (1968), 565–578.
2. Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets
3. Ranking Functions for Linear-Constraint Loops
4. Stephen Boyd and Lieven Vandenberghe . 2004. Convex Optimization . Cambridge University Press . Stephen Boyd and Lieven Vandenberghe. 2004. Convex Optimization. Cambridge University Press.