-
1Conference
Authors: Kearfott, R. Baker, Pryce, John D., Revol, Nathalie
Contributors: University of Louisiana, Cranfield University, Computer arithmetic (ARENAIRE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Springer
Source: Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures ; https://inria.hal.science/inria-00545059 ; Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Jan 2008, Dagstuhl, Germany. pp.1-6, ⟨10.1007/978-3-642-01591-5_1⟩
Subject Terms: interval arithmetic, standardization, ACM: K.: Computing Milieux/K.1: THE COMPUTER INDUSTRY/K.1.1: Standards, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
2Conference
Authors: Kearfott, R. Baker, Pryce, John D., Revol, Nathalie
Contributors: University of Louisiana, Cranfield University, Computer arithmetic (ARENAIRE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Springer
Source: Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures ; https://inria.hal.science/inria-00545059 ; Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Jan 2008, Dagstuhl, Germany. pp.1-6, ⟨10.1007/978-3-642-01591-5_1⟩
Subject Terms: interval arithmetic, standardization, ACM: K.: Computing Milieux/K.1: THE COMPUTER INDUSTRY/K.1.1: Standards, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
-
3Conference
Authors: Kearfott, R. Baker, Pryce, John D., Revol, Nathalie
Contributors: University of Louisiana, Cranfield University, Computer arithmetic (ARENAIRE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Springer
Source: Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures ; https://hal.inria.fr/inria-00545059 ; Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Jan 2008, Dagstuhl, Germany. pp.1-6, ⟨10.1007/978-3-642-01591-5_1⟩
Subject Terms: interval arithmetic, standardization, ACM: K.: Computing Milieux/K.1: THE COMPUTER INDUSTRY/K.1.1: Standards, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Relation: inria-00545059; https://hal.inria.fr/inria-00545059; https://hal.inria.fr/inria-00545059/document; https://hal.inria.fr/inria-00545059/file/IntervalDiscussReport02-07.pdf
-
4Conference
Authors: Revol, Nathalie
Contributors: Computer arithmetic (ARENAIRE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), INRIA D2T (Direction du Développement Technologique), Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki
Source: ICMS 2010 - Third International Congress on Mathematical Software ; https://inria.hal.science/inria-00544803 ; ICMS 2010 - Third International Congress on Mathematical Software, Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki, Sep 2010, Kobe, Japan. pp.337--341, ⟨10.1007/978-3-642-15582-6_54⟩
-
5Conference
Authors: Revol, Nathalie
Contributors: Computer arithmetic (ARENAIRE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), INRIA D2T (Direction du Développement Technologique), Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki
Source: ICMS 2010 - Third International Congress on Mathematical Software ; https://inria.hal.science/inria-00544803 ; ICMS 2010 - Third International Congress on Mathematical Software, Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki, Sep 2010, Kobe, Japan. pp.337--341, ⟨10.1007/978-3-642-15582-6_54⟩
-
6Conference
Authors: Revol, Nathalie
Contributors: Computer arithmetic (ARENAIRE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), INRIA D2T (Direction du Développement Technologique), Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki
Source: ICMS 2010 - Third International Congress on Mathematical Software ; https://inria.hal.science/inria-00544803 ; ICMS 2010 - Third International Congress on Mathematical Software, Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki, Sep 2010, Kobe, Japan. pp.337--341, ⟨10.1007/978-3-642-15582-6_54⟩
-
7Conference
Authors: Revol, Nathalie
Contributors: Computer arithmetic (ARENAIRE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), INRIA D2T (Direction du Développement Technologique), Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki
Source: ICMS 2010 - Third International Congress on Mathematical Software ; https://hal.inria.fr/inria-00544803 ; ICMS 2010 - Third International Congress on Mathematical Software, Takayama, Nobuki and Fukuda, Komei and van der Hoeven, Joris and Joswig, Michael and Noro, Masayuki, Sep 2010, Kobe, Japan. pp.337--341, ⟨10.1007/978-3-642-15582-6_54⟩
Subject Terms: interval arithmetic, standardization, interval-based libraries, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE, ACM: K.: Computing Milieux/K.1: THE COMPUTER INDUSTRY/K.1.1: Standards, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Relation: inria-00544803; https://hal.inria.fr/inria-00544803
-
8Conference
Authors: Kearfott, R. Baker, Pryce, John D., Revol, Nathalie
Contributors: University of Louisiana, Cranfield University, Computer arithmetic (ARENAIRE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Lyon (ENS Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Springer
Source: Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures ; https://hal.inria.fr/inria-00545059 ; Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Cuyt, Annie and Krämer, Walter and Luther, Wolfram and Markstein, Peter, Jan 2008, Dagstuhl, Germany. pp.1-6, ⟨10.1007/978-3-642-01591-5_1⟩
Subject Terms: interval arithmetic, standardization, ACM: K.: Computing Milieux/K.1: THE COMPUTER INDUSTRY/K.1.1: Standards, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, edu
Relation: https://hal.inria.fr/inria-00545059/file/IntervalDiscussReport02-07.pdf; https://hal.inria.fr/inria-00545059