Dennis S. Arnon

• A proof of the correctness of the Hopcroft-Bunch Lu decomposition algorithm
• SAC-PL