diff options
Diffstat (limited to '')
-rw-r--r-- | documentation/bookmark/floating_point.md | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/documentation/bookmark/floating_point.md b/documentation/bookmark/floating_point.md new file mode 100644 index 000000000..55c84d2f2 --- /dev/null +++ b/documentation/bookmark/floating_point.md @@ -0,0 +1,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) + |