Download PDFOpen PDF in browser

Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems

14 pagesPublished: October 11, 2018

Abstract

The purpose of this talk is primarily to introduce a new methodology to synthesize numerically accurate programs for the Gaussian elimination method in order to solve linear systems coming from mechanical problems. The synthesis is based on program transformation techniques and it is guided in its estimation of accuracy by interval arithmetic that computes the propagation of roundoff errors. Besides a discussion on numerical accuracy issues related to floating-points arithmetics and roundoff errors, we present our approach used to compute the error bound during the resolution process. Finally, some experimental results will be presented to prove the efficiency of our synthesizer tool and show that the specialized produced code to solve the family of systems given in input is far more accurate and faster than the standard implementation of the Gauss method.

Keyphrases: code synthesis, gauss pivoting, ill conditioning, linear systems, mechanical problems, numerical accuracy

In: Matthieu Martel, Nasrine Damouche and Julien Alexandre Dit Sandretto (editors). TNC'18. Trusted Numerical Computations, vol 8, pages 24-37.

BibTeX entry
@inproceedings{TNC'18:Toward_Synthesis_Gauss_Pivoting,
  author    = {Nacera Djehaf and Matthieu Martel and Mikaël Barboteu},
  title     = {Toward the Synthesis of Gauss Pivoting Code for Linear Systems Resolution : Application Mechanical Problems},
  booktitle = {TNC'18. Trusted Numerical Computations},
  editor    = {Matthieu Martel and Nasrine Damouche and Julien Alexandre Dit Sandretto},
  series    = {Kalpa Publications in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/G4H6},
  doi       = {10.29007/75kg},
  pages     = {24-37},
  year      = {2018}}
Download PDFOpen PDF in browser