… paper Twentyfive years of Automath research) are identified with a letter-number combination.
For example, B.7 refers to paper … with the precise bibliographic data of the selected papers…

… The selection criteria were formulated as: Selection Criteria: The selected papers should
have: 1) Decisively influenced the discipline. 2) A high standard with regard to form and …

… of the papers, because many of the selected papers lack such … papers, with a view to the
aims and ideas of the Automath project… References to the papers included in this Volume will be …

… paper presents aut, a modern Automath checker. It is a straightforward re-implementation of
the Zandleven Automath … It accepts both the AUT-68 and AUT-QE dialects of Automath. This …

… In this paper I shall try to sketch some of those influences. Not too much will be said about
Automath itself. For specific information, reference can be made to the survey paper [ de Bruzj’…

… in this paper. After all, the author feels that very little is essentially new in Automath, that it is
… that the abbreviating system used in Automath has been taken from existing mathematical …

This article reviews the history of the use of computers to automate mathematical proofs. It
identifies three broad strands of work: automatic theorem proving where the aim is to simulate …

… This paper describes the Automath verifier which is being operated [in the beginning of the
… For the theoretical background we refer to the papers of Prof. de Bruijn, D. van Daalen and R…

… socalled Automath project, in which a number of researchers joined forces. The Automath
… referred to the collection Selected Papers on Automath, [26], and to the Automath Archive [2]…

Checking Landau's "Grundlagen" in the Automath system : Parts of chapters 0, 1 and 2 (Introduction,
Preparation, Translation) — Eindhoven University of Technology research portal …