Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,487,551 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
2013
2013
A Minimal Logical Framework , or My Own Private Automath
M. R. Holmes
2013
Corpus ID: 1810899
In this document I describe the tiny (so far) proof checker implemented in myautomath.sml. It is a variant of Automath, one of…
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
2004
2004
Thirty Five Years of Automating Mathematics: A Volume Dedicated to De Bruijn's Automath (Applied Logic Series, V. 28)
Fairouz Kamareddine
2004
Corpus ID: 64267783
2003
2003
Structured Presentation of Formal Proofs Experiments with Isabelle
F. Kamm¨uller
,
G. Keller
,
M. Simons
,
M. Weber
2003
Corpus ID: 17230122
The intelligible presentation of formal proofs is usually not attempted because of their technical detail. This formal noise…
Expand
1995
1995
Important Issues in Foundational Formalisms
Fairouz Kamareddine
Logic Journal of the IGPL
1995
Corpus ID: 109310
This article discusses my work in the last few years on logical formalisms which have been shown to be useful to various aspects…
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
1976
1976
A translation of Landau's "Grundlagen in AUTOMATH"
van Ls Bert Benthem Jutting
1976
Corpus ID: 122051773
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