Iterative Methods for Symmetric Quasi-Definite Linear Systems. Part I: Theory - Arioli, Mario; Orban, Dominique (Groupe d’études et de recherche en analyse des décisions, 2013)