aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/math
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/bookmark/math')
-rw-r--r--documentation/bookmark/math/arithmetic.md7
-rw-r--r--documentation/bookmark/math/philosophy.md5
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)
+