Stephen Wolfram personal blog
Computational Knowledge and the Future of Pure Mathematics
Proposing technology for pure mathematics: curating concepts, constructs, theorems, & literature; precise symbolic language; automated computations...
- Points
- 126
- HN comments
- 24
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsScience & Space2014
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 12, 2014 | Computational Knowledge and the Future of Pure Mathematics by kylemaxwell | 126 | 24 |
