diff options
Diffstat (limited to '2021')
-rw-r--r-- | 2021/10/casual.md | 10 | ||||
-rw-r--r-- | 2021/10/links.md | 2 | ||||
-rw-r--r-- | 2021/11/links.txt | 34 | ||||
-rw-r--r-- | 2021/12/links.txt | 6 |
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 |