|
From: | Tim Daly |
Subject: | [Axiom-developer] Towards a Semantic Language of Mathematics |
Date: | Fri, 30 Dec 2016 12:29:27 -0500 |
http://blog.wolfram.com/2016/12/22/the-semantic-representation-of-pure-mathematics/ This was a workshop I just discovered. There is a video on that site that I highly recommend. The page that links to the talks does not (yet?) exist unfortunately. Apparently Axiom is "on the path" by trying to combine symbolic math with proof technology. Tim
[Prev in Thread] | Current Thread | [Next in Thread] |