<--- Back to Details
First PageDocument Content
MPFR / GNU TeXmacs / Sage / Computer algebra systems / MuPAD / Maxima / GNU Multiple Precision Arithmetic Library / GiNaC / Paul Zimmermann / Software / Numerical software / Functional languages
Date: 2007-11-11 09:59:40
MPFR
GNU TeXmacs
Sage
Computer algebra systems
MuPAD
Maxima
GNU Multiple Precision Arithmetic Library
GiNaC
Paul Zimmermann
Software
Numerical software
Functional languages

Motivation The IEEE standard The MPFR library Can we do better than other CAS? The MPFR library: well-defined semantics for

Add to Reading List

Source URL: www.loria.fr

Download Document from Source Website

File Size: 1,09 MB

Share Document on Facebook

Similar Documents

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

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

DocID: 1tPSR - View Document

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

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

DocID: 1tEaC - View Document

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

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

DocID: 1sbxh - View Document

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-

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-

DocID: 1rtij - View Document

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

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

DocID: 1rpEh - View Document