diff options
| author | Eduardo Julian | 2022-07-07 20:47:14 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-07 20:47:14 -0400 |
| commit | fc6e6f19818dc24c8932b74a274b081f5720fda4 (patch) | |
| tree | 0a35130aa9b3358345b9ca15a6c7d507ec7cf9bb /documentation/bookmark/math | |
| parent | f7880ce83ba82ada2d04a0c587448446e677d458 (diff) | |
Added support for defining custom/closed macro systems.
Diffstat (limited to 'documentation/bookmark/math')
| -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) + |