↓ Skip to main content
What is this page? Embed badge

Thirty Five Years of Automating Mathematics

Overview of attention for book
Cover of 'Thirty Five Years of Automating Mathematics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Mathematical Model for Biological Memory and Consciousness
  3. Altmetric Badge
    Chapter 2 Towards an Interactive Mathematical Proof Mode
  4. Altmetric Badge
    Chapter 3 Recent Results in Type Theory and Their Relationship to Automath
  5. Altmetric Badge
    Chapter 4 Linear Contexts, Sharing Functors: Techniques for Symbolic Computation
  6. Altmetric Badge
    Chapter 5 De Bruijn’s Automath and Pure Type Systems
  7. Altmetric Badge
    Chapter 6 Hoare Logic with Explicit Contexts
  8. Altmetric Badge
    Chapter 7 Transitive Closure and the Mechanization of Mathematics
  9. Altmetric Badge
    Chapter 8 Polymorphic Type-Checking for the Ramified Theory of Types of Principia Mathematica
  10. Altmetric Badge
    Chapter 9 Termination in ACL2 Using Multiset Relations
  11. Altmetric Badge
    Chapter 10 The π-Calculus in FM
  12. Altmetric Badge
    Chapter 11 Proof Development with Ωmega: The Irrationality of $$\sqrt 2$$
Attention for Chapter 5: De Bruijn’s Automath and Pure Type Systems
Altmetric Badge

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 7 publications that cite this research output.

7

The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.