blob: 55c84d2f29df1bd6c9bc5fabbfb5e57aaa5bd731 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
# Random generation
1. [Uniform random floats: How to generate a double-precision floating-point number in [0, 1] uniformly at random given a uniform random source of bits](https://mumble.net/~campbell/2014/04/28/uniform-random-float)
# Correctness
1. [Herbie: Find and fix floating-point problems.](https://herbie.uwplse.org/)
# Format
1. [decimal128 floating-point format](https://en.wikipedia.org/wiki/Decimal128_floating-point_format)
# Reference
1. [What aspect of portable floating point did Java back down on?](https://retrocomputing.stackexchange.com/questions/18143/what-aspect-of-portable-floating-point-did-java-back-down-on)
# Algorithm
1. [Kahan summation algorithm](https://en.wikipedia.org/wiki/Kahan_summation_algorithm)
|