Skip to search formSkip to main contentSkip to account menu

Automath

Known as: Automath theorem prover 
Automath (automating mathematics) was a formal language, devised by Nicolaas Govert de Bruijn starting in 1967, for expressing complete mathematical… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
Automated theorem provingCoq (software)Curry–Howard correspondenceExplicit substitution

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Landau's "Grundlagen der Analysis" from Automath to lambda-delta
L.S. van Benthem Jutting’s specification of E.G.H.Y. Landau’s “Grundlagen der Analysis” in the formal language Aut−QE represents… 
2007
2007
Encoding Functional Relations in Scunak
2006
2006
Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
1995
1995
Harmonizing the Approaches
Copies of reports and other material can also be accessed via anonymous ftp from ftp.cogsci.ed.ac.uk, directory pub/FRACAS. c… 
Review
1994
Review
1994
A programming logic based on type theory
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences… 
Review
1994
Review
1994
A text fragment from Zucker's "Real analysis"
Review
1990
Review
1990
Gedachten rondom Automath
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences… 
1978
1978
Verslag over het project Wiskundige Taal Automath
Z O W ~ b i j h e t AUT-QE boek van van Benthem J u t t i n g a l s b i j h e t AUT-II boek van Zucker bleek d a t s tudenten… 
Review
1974
Review
1974
Automath : ein Projekt zur Kontrolle vom Mathematik
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences… 
Review
1967
Review
1967
Description of the language Automath
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)