Mathematical Turing test: Readable proofs from your computer
Theory, Evolution, and Games Group,
We have previously discussed the finicky task of defining intelligence, but surely being able to do math qualifies? Even if the…
The Language of Mathematics
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 The Language of Mathematics
-
Altmetric BadgeChapter 3 Theoretical Framework
-
Altmetric BadgeChapter 4 Ambiguity
-
Altmetric BadgeChapter 5 Type
-
Altmetric BadgeChapter 6 Typed Parsing
-
Altmetric BadgeChapter 7 Foundations
-
Altmetric BadgeChapter 8 Extensions
-
Altmetric BadgeChapter 9 Conclusion
Altmetric Badge
About this Attention Score
-
In the top 25% of all research outputs scored by Altmetric
-
High Attention Score compared to outputs of the same age (89th percentile)
-
High Attention Score compared to outputs of the same age and source (91st percentile)
Citations
- dimensions_citation
- 34 Dimensions
Readers on
- mendeley
- 12 Mendeley