David Pfannholzer und Lema - Info zur Person

(1 - 8 von 10

)

LEMA | Lefévre, Vincent; Théveny, Philippe; de Dinechin, Florent;...

zh.booksc.eu

LEMA | Lefévre, Vincent; Théveny, Philippe; de Dinechin, Florent; Jeannerod, Claude-Pierre; Mouilleron, Christophe; Pfannholzer, David; Revol, Nathalie |...

LEMA: Towards a Language for Reliable ArithmeticArchive ouverte HAL

inria.hal.science

... Philippe Théveny (1) , Florent de Dinechin (1) , Claude-Pierre Jeannerod (1) , Christophe Mouilleron (1) , David Pfannholzer (1) , Nathalie Revol (1).

LEMA: Towards a Language for Reliable ArithmeticCORE

core.ac.uk

von CMDPN Revol · · Zitiert von: 1 — Vincent Lefèvre — Philippe Théveny — Florent de Dinechin — Claude-Pierre Jeannerod —. Christophe Mouilleron — David Pfannholzer — Nathalie ...

A Bibliography of Publications in ACM SIGSAM Bulletin ...The Netlib

netlib.org

von NHF Beebe · — Mouilleron, David Pfannholzer,. and Nathalie Revol. LEMA: towards a language for reliable. arithmetic. ACM Communica-. tions in Computer Algebra, 44.

LEMA: Towards a Language for Reliable Arithmetic - Inria

hal.inria.fr

Vincent Lefèvre 1 Philippe Théveny 1 Florent De Dinechin 1 Claude-Pierre Jeannerod 1 Christophe Mouilleron 1David Pfannholzer 1 Nathalie Revol 1. Détails. 1 ARENAIRE - Computer arithmetic. Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme. Vincent Lefèvre 1 AuthorId :

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

David Pfannholzer und Lema Person-Info

LEMA | Lefévre, Vincent; Théveny, Philippe; de Dinechin, Florent;...

LEMA: Towards a Language for Reliable ArithmeticArchive ouverte HAL

LEMA: Towards a Language for Reliable ArithmeticCORE

A Bibliography of Publications in ACM SIGSAM Bulletin ...The Netlib

LEMA: Towards a Language for Reliable Arithmetic - Inria

LEMA: Towards a Language for Reliable Arithmetic

SIGSAM Bulletin (ACM Special Interest Group on Symbolic ...University of Utah

[PDF] LEMA: towards a language for reliable arithmetic | Semantic ...

Alle Infos zum Namen "David Pfannholzer"