Paul E. Proctor 1979 to 1982 Dissertation Double-Basis Simplex Method for Large-Scale Linear Programming Program in Applied Mathematics Alumnus PhD Graduate