Computational Knowledge and the Future of Pure Mathematics—Stephen Wolfram Blog

Proposing technology for pure mathematics: curating concepts, constructs, theorems, & literature; precise symbolic language; automated computations...

Click to view the original at blog.stephenwolfram.com