Pascal Hénon Pierre Ramet Jean Roman PaStiX: a high-performance parallel direct solver for sparse symmetric positive definite systems. 301-321 2002 28 Parallel Computing 2 db/journals/pc/pc28.html#HenonRR02