aboutsummaryrefslogtreecommitdiffstats
path: root/2021
diff options
context:
space:
mode:
authorBryan Newbold <bnewbold@archive.org>2022-06-24 19:49:48 -0700
committerBryan Newbold <bnewbold@archive.org>2022-06-24 19:50:42 -0700
commit7335d44275f9ed1df03be14af5bb550e66602ccc (patch)
tree4afd68eac8491a8268eaf38fafc10e39a703d5eb /2021
parent1f335d0e893b65ff96729fb10471b24670209a8c (diff)
downloadmodelthought-master.tar.gz
modelthought-master.zip
commit many old notesHEADmaster
Diffstat (limited to '2021')
-rw-r--r--2021/10/casual.md10
-rw-r--r--2021/10/links.md2
-rw-r--r--2021/11/links.txt34
-rw-r--r--2021/12/links.txt6
4 files changed, 52 insertions, 0 deletions
diff --git a/2021/10/casual.md b/2021/10/casual.md
new file mode 100644
index 0000000..02b93de
--- /dev/null
+++ b/2021/10/casual.md
@@ -0,0 +1,10 @@
+
+Started building a toy CAS system called `casual`, in Rust, with S-Expr
+input/output syntaxt. Following
+
+* Cohen CAS books
+* `expreduce` (golang) documentation
+* Norvig LISP book term re-writing chapter
+* Hanson and Sussman "Software Design for Flexibility" pattern matching sections and syntax
+
+Another classic integral tool: [`SAINT`](http://logical.ai/auai/doc/doc-calculus.html)
diff --git a/2021/10/links.md b/2021/10/links.md
new file mode 100644
index 0000000..9f95ac8
--- /dev/null
+++ b/2021/10/links.md
@@ -0,0 +1,2 @@
+
+`scm` author has a rooftop thermal emission simulator: <http://people.csail.mit.edu/jaffer/SimRoof/>
diff --git a/2021/11/links.txt b/2021/11/links.txt
new file mode 100644
index 0000000..e56e3f0
--- /dev/null
+++ b/2021/11/links.txt
@@ -0,0 +1,34 @@
+
+EinsteinPy
+https://docs.einsteinpy.org/en/stable/
+
+Computer Algebra Systems: A Practical Guide (199), edited by Michael Wester
+
+https://math.unm.edu/~wester/cas_review.html
+
+
+"Comparison of Polynomial-Oriented Computer Algebra Systems"
+http://web.archive.org/web/20110622070353/http://www.fordham.edu/lewis/cacomp.html
+http://web.archive.org/web/20060718160417/http://www.bway.net/~lewis/cacomp.ps
+
+A Review of CAS Mathematical Capabilities by Michael Wester
+
+music industry "record deal simulator" and "publishing simulator":
+https://dealsim.createos.app/
+https://pubsim.createos.app/
+
+---
+
+https://en.wikipedia.org/wiki/Mathematical_knowledge_management
+https://en.wikipedia.org/wiki/QED_manifesto
+
+"The QED Manifesto Revisited" (2007)
+http://mizar.org/trybulec65/8.pdf
+
+https://www.wolframfoundation.org/programs/computable-archive-of-mathematics.html
+
+video: Excerpts from documentary "Towards a Semantic Language of Mathematics"
+https://www.youtube.com/watch?v=HOtpVU4-FMc
+
+video: Towards a Semantic Language of Mathematics
+https://www.youtube.com/watch?v=psSyM1zp82k
diff --git a/2021/12/links.txt b/2021/12/links.txt
new file mode 100644
index 0000000..0670855
--- /dev/null
+++ b/2021/12/links.txt
@@ -0,0 +1,6 @@
+
+https://tree-sitter.github.io/tree-sitter/
+ parser framework and implementations for many programming languages
+ parser grammars are in javascript; codegen parsers are in C
+
+https://www.mathmlcentral.com/history.html