Towards a Semantic Language of Mathematics

Tim Daly <[email protected]>
Newsgroups gmane.comp.mathematics.axiom.devel
Message-ID <CAJn5L=+3wwxFhfWN9unKYvT+edcNPP1qmPZB5X_oLDSajLgyGA@mail.gmail.com> 
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.