MPFR

Results: 54



#Item
1

MLGMPIDL: OCaml interface for GMP and MPFR libraries (versionAugust 30, 2012 All files distributed in the MLGMPIDL interface are distributed under LGPL license.

Add to Reading List

Source URL: www.inrialpes.fr

Language: English - Date: 2012-08-30 05:51:07
    2

    Y a-t-il des bugs dans GNU MPFR ? (proposition de stage M2) Lieu. INRIA/LORIA, Nancy, www.loria.fr. Encadrant. Paul Zimmermann, directeur de recherche, équipe Caramba, . Contexte. Le calcul flott

    Add to Reading List

    Source URL: members.loria.fr

    - Date: 2017-10-23 11:51:02
      3

      Introduction to the GNU MPFR Library Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon CNC’2, LORIA,

      Add to Reading List

      Source URL: www.vinc17.org

      - Date: 2015-06-18 06:12:50
        4Computer arithmetic / Computing / Arithmetic / Computer architecture / GNU MPFR / GNU Multiple Precision Arithmetic Library / Rounding / Extended precision / IEEE 754-1985 / IEEE floating point / Quadruple-precision floating-point format / Paul Zimmermann

        MPFR: A Multiple-Precision Binary Floating-Point Library With Correct Rounding Laurent Fousse, Guillaume Hanrot, Vincent Lef`evre, Patrick P´elissier, Paul Zimmermann LORIA, 615 rue du jardin botanique, FVillers-

        Add to Reading List

        Source URL: perso.ens-lyon.fr

        Language: English - Date: 2009-10-16 07:35:07
        5Computing / Computer arithmetic / Software / C programming language) / GNU MPFR / GNU Multiple Precision Arithmetic Library / Const / Quadruple-precision floating-point format

        Benchmark of an MPFR emulation of Binary128 arithmetic September 13, 2013 Abstract are displayed in Table 2. The compiler options were

        Add to Reading List

        Source URL: perso.ens-lyon.fr

        Language: English - Date: 2013-09-13 12:25:36
        6Computer arithmetic / Computing / Mathematics / Computer architecture / Rounding / GNU MPFR / Double-precision floating-point format / IEEE floating point / Significant figures / Sine / C99 / Roundedness

        Hardest-to-Round Cases – Part 2 Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Journées TaMaDi, Lyon,

        Add to Reading List

        Source URL: www.vinc17.org

        Language: English - Date: 2015-06-18 06:12:50
        7Computer arithmetic / Computing / Software / Computer programming / GNU MPFR / Paul Zimmermann / GNU Multiple Precision Arithmetic Library / Rounding / Fixed-point arithmetic / GNU Compiler Collection / IEEE floating point / Double-precision floating-point format

        Introduction to the GNU MPFR Library Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GdT AriC,

        Add to Reading List

        Source URL: www.vinc17.org

        Language: English - Date: 2015-06-18 06:12:50
        8Computer arithmetic / Computing / Mathematics / Theoretical computer science / GNU MPFR / Extended precision / Quadruple-precision floating-point format / Rounding / Single-precision floating-point format / Double-precision floating-point format / IEEE floating point / Precision

        Why and how to use arbitrary precision Kaveh R. Ghazi Vincent Lefèvre Philippe Théveny

        Add to Reading List

        Source URL: perso.ens-lyon.fr

        Language: English - Date: 2010-04-14 11:12:59
        9Computer arithmetic / Software / Computing / Mathematics / GNU MPFR / Rounding / Interval arithmetic / GNU Multiple Precision Arithmetic Library / Maple / Fixed-point arithmetic / IEEE floating point / TeX

        Generating a Minimal Interval Arithmetic Based on GNU MPFR (in the context of the search for hard-to-round cases) Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon

        Add to Reading List

        Source URL: www.vinc17.org

        Language: English - Date: 2015-06-18 06:12:50
        10Computer arithmetic / Computing / Software / Computer programming / GNU MPFR / Paul Zimmermann / GNU Multiple Precision Arithmetic Library / Rounding / Floating point / Fixed-point arithmetic / IEEE floating point / Precision

        Arithmétique flottante en précision arbitraire Vincent LEFÈVRE INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon École « précision et reproductibilité en calcul numérique », Fréjus

        Add to Reading List

        Source URL: www.vinc17.org

        Language: English - Date: 2015-06-18 06:12:50
        UPDATE