GNU MPFR: back to the future Paul Zimmermann inria (inventors for the digital world) 23 September 2011

Source URL: www.loria.fr

• MPFR
• Computer arithmetic
• Paul Zimmermann
• GNU Multiple Precision Arithmetic Library
• Mathematical software
• Rounding
• Sage
• Arbitrary-precision arithmetic
• GNU Compiler Collection
• Software
• Computing
• Numerical software

IEEE 754 Revision Paul Zimmermann Dagstuhl Seminar 06021, 8-13 January, 2006 History

Source URL: www.loria.fr

• Numbers
• Computer science
• IEEE 754-2008
• Decimal128 floating-point format
• Half-precision floating-point format
• Quadruple-precision floating-point format
• Dagstuhl
• Decimal64 floating-point format
• Decimal32 floating-point format
• Computer arithmetic
• Data types
• Computing

NUMMER[removed][removed]

Source URL: www.zimmermann-holz.de

Integrated Distributed Description Logics (extended abstract) Antoine Zimmermann INRIA Rhˆone-Alpes Abstract. We propose a Description-Logics-based language that extends standard DL with distributed capabilities. More

Source URL: www.ceur-ws.org

• Science
• Ontology
• Knowledge representation
• Knowledge engineering
• Web Ontology Language
• Description logic
• Knowledge representation and reasoning
• Mereology
• DOGMA
• Information
• Semantic Web
• Information science

NUMMER[removed][removed]

Source URL: www.zimmermann-holz.de

NUMMER[removed][removed]

Source URL: www.zimmermann-holz.de

NUMMER[removed][removed][removed]

Source URL: www.zimmermann-holz.de

NUMMER[removed][removed][removed]

Source URL: www.zimmermann-holz.de

NUMMER[removed][removed][removed][removed]

Source URL: www.zimmermann-holz.de

NUMMER[removed][removed][removed]

Source URL: www.zimmermann-holz.de