TNC'18:BibTeX Entries

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}}