diff options
Diffstat (limited to '')
| -rw-r--r-- | documentation/bookmark/math/arithmetic.md | 7 | ||||
| -rw-r--r-- | documentation/bookmark/math/philosophy.md | 5 |
2 files changed, 12 insertions, 0 deletions
diff --git a/documentation/bookmark/math/arithmetic.md b/documentation/bookmark/math/arithmetic.md index 93e4a97ee..8959f3a51 100644 --- a/documentation/bookmark/math/arithmetic.md +++ b/documentation/bookmark/math/arithmetic.md @@ -1,12 +1,19 @@ # Saturation +0. []() 0. [Saturation arithmetic](https://en.wikipedia.org/wiki/Saturation_arithmetic) # Interval +0. []() 0. [Interval Arithmetic: Not All Intervals are Created Equal](https://samlikes.pizza/pluto_interval_blog.jl.html) 0. [Growing a Language, by Guy Steele](https://www.youtube.com/watch?v=_ahvzDzKdB0&t=2214s) 0. [Yet another alternative to floating-point numbers](https://wordsandbuttons.online/yet_another_alternative_to_floating_point_numbers.html) 0. [Interval arithmetic](https://en.wikipedia.org/wiki/Interval_arithmetic) 0. [How do you compute the midpoint of an interval?](https://hal.archives-ouvertes.fr/file/index/docid/576641/filename/computing-midpoint.pdf) +# Reference + +0. []() +0. [Wheel theory](https://en.wikipedia.org/wiki/Wheel_theory) + diff --git a/documentation/bookmark/math/philosophy.md b/documentation/bookmark/math/philosophy.md new file mode 100644 index 000000000..e3be3ac0c --- /dev/null +++ b/documentation/bookmark/math/philosophy.md @@ -0,0 +1,5 @@ +# Reference + +0. []() +0. [What is the point of formalising mathematics?](https://lawrencecpaulson.github.io/2022/06/22/Why-formalise.html) + |