Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,563,663 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Automated theorem proving
Coq (software)
Curry–Howard correspondence
Explicit substitution
Expand
Broader (1)
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
A variant of Automath
M. R. Holmes
2014
Corpus ID: 13908260
We describe and document a variant of Automath which we have developed in the course of thinking about some ideas in the…
Expand
Review
2012
Review
2012
De combinatoriek van De Bruijn
T. Kloks
2012
Corpus ID: 119299816
In memoriam N.G. de Bruijn. In this article I present some highlights of De Bruijn's contributions in combinatorics. This article…
Expand
1999
1999
The context calculus cExtended
AbstractMirna Bognar
,
R. D. Vrijer
1999
Corpus ID: 13026169
ions over hole variables, hole lling simply boils down to (multiple) -reduction. So, in our running example we get ( h: x:x( h x…
Expand
1995
1995
Harmonizing the Approaches
S. Pulman
1995
Corpus ID: 180912700
Copies of reports and other material can also be accessed via anonymous ftp from ftp.cogsci.ed.ac.uk, directory pub/FRACAS. c…
Expand
Review
1994
Review
1994
A programming logic based on type theory
E. Poll
1994
Corpus ID: 221967522
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences…
Expand
1987
1987
An Environment for Formal Systems
T. Griffin
1987
Corpus ID: 60537880
This report describes the Environment for Formal Systems, EFS, that allows a user to interactively define the syntax and…
Expand
Review
1976
Review
1976
Het Automath-project
de Fa Dick Bruijn
1976
Corpus ID: 62478067
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important…
Expand
1975
1975
The use of the language Automath for syntax and semantics of programming languages
F. Dick
1975
Corpus ID: 59284523
Mathematical theories can be written in the form of books in the language AUTOMATH, and the checking of the correctness of the…
Expand
Review
1972
Review
1972
Some abbreviations in the input language for Automath
D. Bruijn
1972
Corpus ID: 62980523
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences…
Expand
Review
1967
Review
1967
Description of the language Automath
D. Bruijn
1967
Corpus ID: 122714180
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences…
Expand