2023
Software
- titre
- GNU MPFR
- auteur
- Guillaume Hanrot, Paul Zimmermann, Vincent Lefèvre, Patrick Pélissier, Philippe Théveny
- article
- 2023, ⟨swh:1:rel:b5e308c5dd459a81d8523e1dcb84c19dbc47b51b;origin=https://gitlab.inria.fr/mpfr/mpfr;visit=swh:1:snp:15595615280f9f91d107c1f4e9fa915fda0076dc⟩
- Accès au bibtex
-
2014
Journal articles
- titre
- Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms
- auteur
- Nathalie Revol, Philippe Théveny
- article
- IEEE Transactions on Computers, 2014, 63 (8), pp.1915-1924. ⟨10.1109/TC.2014.2322593⟩
- Accès au texte intégral et bibtex
-
Theses
- titre
- Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors
- auteur
- Philippe Theveny
- article
- Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0941⟩
- Accès au texte intégral et bibtex
-
2013
Journal articles
- titre
- Parallel Implementation of Interval Matrix Multiplication
- auteur
- Nathalie Revol, Philippe Théveny
- article
- Reliable Computing, 2013, 19 (1), pp.91-106
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Numerical reproducibility in HPC: the interval point of view
- auteur
- Nathalie Revol, Philippe Théveny
- article
- PPAM'2013: 10th International Conference on Parallel Processing and Applied Mathematics, Sep 2013, Warsaw, Poland
- Accès au bibtex
-
- titre
- Numerical reproducibility in HPC: issues in interval arithmetic
- auteur
- Nathalie Revol, Philippe Théveny
- article
- SWIM'2013: Small Workshop on Interval Methods, Jun 2013, Brest, France
- Accès au texte intégral et bibtex
-
2012
Conference papers
- titre
- Interval matrix multiplication on parallel architectures
- auteur
- Philippe Théveny, Nathalie Revol
- article
- SCAN 2012: 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia
- Accès au bibtex
-
- titre
- Tradeoffs between Accuracy and Efficiency for Interval Matrix Multiplication
- auteur
- Nathalie Revol, Hong Diep Nguyen, Philippe Théveny
- article
- Numerical Software 2012: Design, Analysis and Verification, Jul 2012, Santander, Spain
- Accès au bibtex
-
- titre
- Divers algorithmes de produits de matrices intervalles
- auteur
- Philippe Théveny
- article
- RAIM 2012 : Rencontres "Arithmétique de l'Informatique Mathématique", Jun 2012, Dijon, France
- Accès au bibtex
-
- titre
- Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication
- auteur
- Hong Diep Nguyen, Nathalie Revol, Philippe Théveny
- article
- PARA 2012 - Workshop on the State-of-the-Art in Scientific and Parallel Computing, Jun 2012, Helsinki, Finland
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Why and How to Use Arbitrary Precision
- auteur
- Kaveh R. Ghazi, Vincent Lefèvre, Philippe Théveny, Paul Zimmermann
- article
- Computing in Science and Engineering, 2010, 12 (3), pp.62-65. ⟨10.1109/MCSE.2010.73⟩
- Accès au bibtex
-
Conference papers
- titre
- LEMA: Towards a Language for Reliable Arithmetic
- auteur
- Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
- article
- International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), Jul 2010, Paris, France. pp.41-52, ⟨10.1145/1838599.1838622⟩
- Accès au bibtex
-
Reports
- titre
- LEMA: Towards a Language for Reliable Arithmetic
- auteur
- Vincent Lefèvre, Philippe Théveny, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol
- article
- [Research Report] RR-7258, INRIA. 2010, pp.15
- Accès au texte intégral et bibtex
-