Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
  • Freek Wiedijk
  • Journal of Automated Reasoning
  • 2004
  • Corpus ID: 5549697
This paper presents aut, a modern Automath checker. It is a straightforward re-implementation of the Zandleven Automath checker… Expand
Is this relevant?
1996
1996
Abstract We study the position of the Automath systems within the framework of Pure Type Systems (PTSs). In [1,15], a rough… Expand
Is this relevant?
1994
1994
Publisher Summary This chapter inspects the various possibilities for language definitions in the AUT–4 family of the Automath… Expand
Is this relevant?
1994
1994
Publisher Summary This chapter discusses a Single Line Version of the Automath language. The language AUT–SL is defined by means… Expand
Is this relevant?
1987
1987
Summary The calculus Δa developed in this paper is claimed to be able to embrace all the essential aspects of Automath, apart… Expand
Is this relevant?
Highly Cited
1985
Highly Cited
1985
We describe the MIZAR Computer Assisted Reasoning system. Several versions of MIZAR are currently implemented with varying powers… Expand
Is this relevant?
1980
1980
A process for preparing novel sintered cobalt-rare earth intermetallic products which can be magnetized to form permanent magnets… Expand
Is this relevant?
1979
1979
Publisher Summary This chapter discusses the verification of the AUT–QE text. It also discuses some features of the program, and… Expand
Is this relevant?
1973
1973
AUTOMATH is a language intended for expressing detailed mathematical thoughts. It is not a programming language, although it has… Expand
Is this relevant?
1970
1970
Publisher Summary This chapter discusses the mathematical language Automath, its usage, and some of its extensions. Automath is a… Expand
  • figure 1
Is this relevant?