Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics. - Mikaël Barboteu; Nacera Djehaf; Matthieu Martel (Comput. Math. Appl., 2019)