Keyword:Numerical accuracy

Publications
Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems Nacera Djehaf, Matthieu Martel and Mikaël Barboteu In:TNC'18. Trusted Numerical Computations
Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization Farah Benmouhoub, Nasrine Damouche and Matthieu Martel In:TNC'18. Trusted Numerical Computations
Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel In:Automated Formal Methods