Volume
@proceedings{TNC'18,
title = {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},
year = {2018}}
Papers
@inproceedings{TNC'18:Policy_Iterations_Without_Selection,
author = {Assale Adje},
title = {Policy Iterations Without Selection Property},
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/LNf8},
doi = {10.29007/9rn9},
pages = {1-10},
year = {2018}}
@inproceedings{TNC'18:Improving_Numerical_Accuracy_High,
author = {Farah Benmouhoub and Nasrine Damouche and Matthieu Martel},
title = {Improving the Numerical Accuracy of High Performance Computing Programs by Process Specialization},
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/ctp1},
doi = {10.29007/tfls},
pages = {11-23},
year = {2018}}
@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}}
@inproceedings{TNC'18:Numerical_validation_quadruple_precision,
author = {Stef Graillat and Fabienne Jézéquel and Romain Picot and François Févotte and Bruno Lathuilière},
title = {Numerical validation in quadruple precision using stochastic arithmetic},
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/lMs9},
doi = {10.29007/5c91},
pages = {38-53},
year = {2018}}
@inproceedings{TNC'18:Detecting_Unsolvability_Interval_Linear,
author = {Jaroslav Horáček and Jan Horáček and Milan Hladík},
title = {Detecting Unsolvability of Interval Linear Systems},
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/ZNM2},
doi = {10.29007/ptx4},
pages = {54-69},
year = {2018}}
@inproceedings{TNC'18:Enhancing_monotonicity_checking_parametric,
author = {Iwona Skalna and Milan Hladík},
title = {Enhancing monotonicity checking in parametric interval linear systems},
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/B8Cn},
doi = {10.29007/1vkp},
pages = {70-83},
year = {2018}}