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},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762}}
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},
pages = {1--10},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/LNf8},
doi = {10.29007/9rn9}}
@inproceedings{TNC'18:Improving_Numerical_Accuracy_of,
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},
pages = {11--23},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/ctp1},
doi = {10.29007/tfls}}
@inproceedings{TNC'18:Toward_Synthesis_of_Gauss,
author = {Nacera Djehaf and Matthieu Martel and Mika\textbackslash{}"el 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},
pages = {24--37},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/G4H6},
doi = {10.29007/75kg}}
@inproceedings{TNC'18:Numerical_validation_in_quadruple,
author = {Stef Graillat and Fabienne J\textbackslash{}'ez\textbackslash{}'equel and Romain Picot and Fran\textbackslash{}c\{c\}ois F\textbackslash{}'evotte and Bruno Lathuili\textbackslash{}`ere},
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},
pages = {38--53},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/lMs9},
doi = {10.29007/5c91}}
@inproceedings{TNC'18:Detecting_Unsolvability_of_Interval,
author = {Jaroslav Hor\textbackslash{}'a\textbackslash{}v\{c\}ek and Jan Hor\textbackslash{}'a\textbackslash{}v\{c\}ek and Milan Hlad\textbackslash{}'ik},
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},
pages = {54--69},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/ZNM2},
doi = {10.29007/ptx4}}
@inproceedings{TNC'18:Enhancing_monotonicity_checking_in,
author = {Iwona Skalna and Milan Hlad\textbackslash{}'ik},
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},
pages = {70--83},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/B8Cn},
doi = {10.29007/1vkp}}