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