<--- Back to Details
First PageDocument Content
Pi / Logarithm / Approximations of π / Golden ratio / Prime number / Number / Floating point / Continued fraction / Mathematics / Mathematical analysis / Complex analysis
Date: 2009-12-08 15:48:37
Pi
Logarithm
Approximations of π
Golden ratio
Prime number
Number
Floating point
Continued fraction
Mathematics
Mathematical analysis
Complex analysis

Add to Reading List

Source URL: cogprints.org

Download Document from Source Website

File Size: 349,67 KB

Share Document on Facebook

Similar Documents

Mathematics / Mathematical analysis / Analysis / Computer arithmetic / Numerical analysis / Arithmetic / Functions and mappings / Differential calculus / Interval arithmetic / Rounding / Derivative / Integral

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France

DocID: 1xVDW - View Document

Computer arithmetic / Arithmetic / Computing / Binary arithmetic / Theory of computation / Data types / IEEE standards / Decimal64 floating-point format / IEEE 754 / Double-precision floating-point format / cole normale suprieure de Lyon / Algorithm

Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017

DocID: 1xVvl - View Document

Mathematics / Computer arithmetic / Real number / Floating-point arithmetic / Arbitrary-precision arithmetic / Algorithm / Interval / Complex number

Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France

DocID: 1xV8w - View Document

Computing / Software engineering / Computer programming / X86 instructions / MOVAPD / X86 instruction listings / J / Compiler / MOVDDUP

Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA

DocID: 1xUlS - View Document

Numerical analysis / Mathematics / Applied mathematics / Computing / Error analysis / Interval arithmetic / Round-off error / Program optimization / Infinite loop / Algorithm

Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2

DocID: 1xUkd - View Document