diff options
| -rw-r--r-- | 2020/10/2020-10-28.md | 14 | ||||
| -rw-r--r-- | 2020/12/tabs_dump.txt | 21 | ||||
| -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 | ||||
| -rw-r--r-- | 2022/03/refs.md | 18 | ||||
| -rw-r--r-- | 2022/04/refs.txt | 6 | ||||
| -rw-r--r-- | 2022/06/notes.txt | 3 |
9 files changed, 114 insertions, 0 deletions
diff --git a/2020/10/2020-10-28.md b/2020/10/2020-10-28.md new file mode 100644 index 0000000..98cc79c --- /dev/null +++ b/2020/10/2020-10-28.md @@ -0,0 +1,14 @@ + +## Interactive Web Stuff + +Lots of good examples linked from: <https://distill.pub/2020/communicating-with-interactive-articles/> + +Eg, "econ graphs": <http://www.econgraphs.org/> + +## mathjs + +mathjs.org is a simple expression parser and evaluator. Allows function +definitions in expressions. + +Has some very simple intro CAS simplification and derivative descriptions: +<https://mathjs.org/docs/expressions/algebra.html> diff --git a/2020/12/tabs_dump.txt b/2020/12/tabs_dump.txt new file mode 100644 index 0000000..1908bb2 --- /dev/null +++ b/2020/12/tabs_dump.txt @@ -0,0 +1,21 @@ + +https://arxiv.org/pdf/1310.7031.pdf +https://arxiv.org/abs/1905.11481 +https://arxiv.org/abs/2006.10782 +https://arxiv.org/abs/2005.11212 +https://arxiv.org/search/physics?searchtype=author&query=Tegmark%2C+M +https://arxiv.org/abs/2011.04698 +https://arxiv.org/abs/1902.03364 +https://arxiv.org/pdf/1703.10987.pdf +https://github.com/SJ001/AI-Feynman/issues +https://github.com/SJ001/AI-Feynman/issues/8 +https://web.archive.org/web/20200930113120/https://arxiv.org/pdf/1908.08961v1.pdf +https://web.archive.org/web/20191013220744/https://arxiv.org/pdf/1902.03364v2.pdf + +file:///home/bnewbold/tmp/912-Article%20Text-3091-2-10-20190521.pdf +https://arxiv.org/pdf/1709.09119.pdf#page=17&zoom=100,121,137 + +https://arxiv.org/abs/2012.02413 + +applied mathematical modelling (OA, elsevier) + https://www.sciencedirect.com/journal/applied-mathematical-modelling 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 diff --git a/2022/03/refs.md b/2022/03/refs.md new file mode 100644 index 0000000..82d2024 --- /dev/null +++ b/2022/03/refs.md @@ -0,0 +1,18 @@ + +simple/basic rust CAS: +https://github.com/p-e-w/savage + +rust PEG parser library, with nice error recovery (aka, human-readable parser errors): +https://github.com/zesterer/chumsky +https://github.com/zesterer/ariadne + +e-graphs: +https://egraphs-good.github.io/ +https://www.philipzucker.com/egraph-1/ +https://www.philipzucker.com/egraph-2/ +https://blog.sigplan.org/2021/04/06/equality-saturation-with-egg/ + +Julia CAS stuff: +https://github.com/JuliaSymbolics/Metatheory.jl +https://github.com/JuliaSymbolics/TermInterface.jl + diff --git a/2022/04/refs.txt b/2022/04/refs.txt new file mode 100644 index 0000000..05d6df2 --- /dev/null +++ b/2022/04/refs.txt @@ -0,0 +1,6 @@ + +https://fredrikj.net/blog/2022/04/things-i-would-like-to-see-in-a-computer-algebra-system/ + +https://fungrim.org/ + +institute: https://risc.jku.at/ diff --git a/2022/06/notes.txt b/2022/06/notes.txt new file mode 100644 index 0000000..8c2fd63 --- /dev/null +++ b/2022/06/notes.txt @@ -0,0 +1,3 @@ + +https://en.wikipedia.org/wiki/Ostwald_ripening +related to ice cream (!) |