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: Journal=Inf.~Comput. AND Volume=216
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A robust algorithm for geometric predicate by error-free determinant transformation
Katsuhisa Ozaki
,
Takeshi Ogita
,
Shin'ichi Oishi
Information and Computation
216
, 2012, pp. 3-13
Floating-point arithmetic in the Coq system
Guillaume Melquiond
Information and Computation
216
, 2012, pp. 14-23
Interrogating witnesses for geometric constraint solving
Sebti Foufou
,
Dominique Michelucci
Information and Computation
216
, 2012, pp. 24-38
The world's shortest correct exact real arithmetic program?
David R. Lester
Information and Computation
216
, 2012, pp. 39-46
A study of decimal left shifters for binary numbers
Sonia Gonzalez-Navarro
,
Javier Hormigo
,
Michael J. Schulte
Information and Computation
216
, 2012, pp. 47-56
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic
Stef Graillat
,
Valérie Ménissier-Morain
Information and Computation
216
, 2012, pp. 57-71
The functions erf and erfc computed with arbitrary precision and explicit error bounds
S. Chevillard
Information and Computation
216
, 2012, pp. 72-95