Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Melquiond, Guillaume"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Floating-point arithmetic in the Coq system
Guillaume Melquiond
Information and Computation
216
, 2012, pp. 14-23
The design of the Boost interval arithmetic library
Hervé Brönnimann
,
Guillaume Melquiond
,
Sylvain Pion
Theoretical Computer Science
351
(1), 2006, pp. 111-118