blob: e56e3f08626c67f909978fe9a610514ac86ca980 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
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
|
