The Formal Construction of a Parallel Triangular System Solver.

L. D. J. C. Loyens, Rob H. Bisseling

Browse the full MPC paper archive.