Symbolic methods for the computer solution of linear equations with applications to flowgraphs

Symbolic method for solving linear equations of flow graphs by multivariate polynomial extension of two-step integer-preserving elimination algorithm