diff options
Diffstat (limited to '2021/11/links.txt')
| -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 |