diff options
| author | Bryan Newbold <bnewbold@archive.org> | 2022-06-24 19:49:48 -0700 |
|---|---|---|
| committer | Bryan Newbold <bnewbold@archive.org> | 2022-06-24 19:50:42 -0700 |
| commit | 7335d44275f9ed1df03be14af5bb550e66602ccc (patch) | |
| tree | 4afd68eac8491a8268eaf38fafc10e39a703d5eb /2021/11 | |
| parent | 1f335d0e893b65ff96729fb10471b24670209a8c (diff) | |
| download | modelthought-7335d44275f9ed1df03be14af5bb550e66602ccc.tar.gz modelthought-7335d44275f9ed1df03be14af5bb550e66602ccc.zip | |
Diffstat (limited to '2021/11')
| -rw-r--r-- | 2021/11/links.txt | 34 |
1 files changed, 34 insertions, 0 deletions
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 |