Ismail I. Idriss. A Verification Method for Solutions of Linear Programming Problems. In Jack Dongarra, Kaj Madsen, Jerzy Wasniewski, editors, Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers. Volume 3732 of Lecture Notes in Computer Science, pages 132-141, Springer, 2004. [doi]
Abstract is missing.