×

Automath

swMATH ID: 7127
Software Authors: N. G. de Bruijn; Wiedijk, Freek; Kamareddine, Fairouz; Laan, Twan; Nederpelt, Rob
Description: Automath is a language designed by N.G. the Bruijn in the late sixties in order to represent mathematical proof in the computer. It’s the direct ancestor of the ”type theoretical” line of proof assistants from which the better known current ones are Nuprl and Coq.
Homepage: http://www.cs.ru.nl/~freek/aut/
Keywords: PTS; pure type system
Related Software: Coq; Nuprl; ML; Isabelle; LEGO; Mizar; Isabelle/HOL; ALF; Twelf; HOL; PVS; LCF; OMDoc; HOL Light; Haskell; kepler98; Agda; Theorema; Elf; GitHub
Cited in: 463 Documents
all top 5

Cited by 488 Authors

24 Kamareddine, Fairouz D.
19 Geuvers, Jan Herman
13 Coquand, Thierry
13 Nederpelt, Rob
12 Barthe, Gilles
9 Blanqui, Frédéric
8 Jouannaud, Jean-Pierre
7 Barendregt, Hendrik Pieter
7 Constable, Robert Lee
7 de Bruijn, Nicolaas Govert
7 Klop, Jan Willem
7 Paulson, Lawrence Charles
7 Rabe, Florian
7 Sørensen, Morten Heine B.
6 Ayala-Rincón, Mauricio
6 Bloo, Roel
6 Huet, Gerard P.
6 Laan, Twan
6 Ritter, Eike
6 Wells, Joe B.
6 Wiedijk, Freek
5 Damas, Luís
5 Fujita, Ken-etsu
5 Kohlhase, Michael
5 Severi, Paula Gabriela
4 Benzmüller, Christoph Ewald
4 Bezem, Marc
4 Broda, Sabine
4 Bunder, Martin W.
4 Capretta, Venanzio
4 Cavalcanti de Moura, Flávio Leonardo
4 Dowek, Gilles
4 Ghilezan, Silvia
4 Hatcliff, John
4 Liquori, Luigi
4 Pfenning, Frank
4 Pollack, Robert
4 Pym, David J.
4 Rubio, Albert
3 Abel, Andreas M.
3 Arrighi, Pablo
3 Avron, Arnon
3 Bonelli, Eduardo
3 Compagnoni, Adriana B.
3 de Paiva, Valeria
3 Dekkers, Wil J. M.
3 Díaz-Caro, Alejandro
3 Ehrhard, Thomas
3 Farmer, William M.
3 Galmiche, Didier
3 Harper, Robert
3 Hendriks, Dimitri
3 Honsell, Furio
3 Horozal, Fulya
3 Jojgov, Gueorgui I.
3 Koutsoukou-Argyraki, Angeliki
3 Lengrand, Stéphane Jean Eric
3 Lescanne, Pierre
3 McKinna, James
3 Pagano, Miguel
3 Poll, Erik
3 Polonsky, Andrew
3 Quaresma, Pedro
3 Ranta, Aarne
3 Ruiz, Blas
3 Sacerdoti Coen, Claudio
3 Sinot, François-Régis
3 Stehr, Mark-Oliver
3 Stirton, William R.
3 Tarau, Paul
3 Troelstra, Anne Sjerp
3 van Benthem Jutting, L. S.
3 van Oostrom, Vincent
3 Lima Ventura, Daniel
3 Zwanenburg, Jan
2 Abramsky, Samson
2 Adams, Andrew A.
2 Adams, Robin
2 Ahn, René M. C.
2 Asperti, Andrea
2 Bancerek, Grzegorz
2 Baral, Chitta R.
2 Barendsen, Erik
2 Berger, Martin J.
2 Bertot, Yves
2 Bickford, Mark
2 Borghuis, Tijn
2 Boudol, Gérard
2 Brown, Chad Edward
2 Buchberger, Bruno
2 Caprotti, Olga
2 Carette, Jacques
2 Cervesato, Iliano
2 Chen, Gang
2 Cohen, Arjeh Marcel
2 Czajka, Łukasz
2 de Vrijer, Roel
2 Dershowitz, Nachum
2 Dougherty, Dan
2 Endrullis, Jörg
...and 388 more Authors
all top 5

Cited in 65 Serials

50 Theoretical Computer Science
29 Information and Computation
18 Journal of Automated Reasoning
18 Mathematical Structures in Computer Science
17 Logical Methods in Computer Science
16 Annals of Pure and Applied Logic
13 Journal of Functional Programming
9 Journal of Symbolic Computation
6 Notre Dame Journal of Formal Logic
6 Archive for Mathematical Logic
6 Journal of Applied Logic
5 Formal Aspects of Computing
4 Synthese
4 Indagationes Mathematicae. New Series
4 Higher-Order and Symbolic Computation
4 The Journal of Logic and Algebraic Programming
3 Information Processing Letters
3 The Mathematical Intelligencer
3 Journal of Computer Science and Technology
3 RAIRO. Theoretical Informatics and Applications
3 Fundamenta Informaticae
3 Theory and Practice of Logic Programming
3 The Review of Symbolic Logic
3 Journal of Formalized Reasoning
2 The Journal of Symbolic Logic
2 Studia Logica
2 Journal of Logic and Computation
2 Applicable Algebra in Engineering, Communication and Computing
2 Experimental Mathematics
2 Journal of Logic, Language and Information
2 Journal of Applied Non-Classical Logics
2 Nordic Journal of Computing
2 The Bulletin of Symbolic Logic
2 Sādhanā
2 Studies in Logic and the Foundations of Mathematics
1 Acta Informatica
1 Physics Letters. A
1 BIT
1 Bulletin of the London Mathematical Society
1 The Computer Journal. Section A / Section B
1 Information Sciences
1 Journal of the Association for Computing Machinery
1 Journal of Philosophical Logic
1 Journal of Pure and Applied Algebra
1 Linguistics and Philosophy
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Science of Computer Programming
1 Bulletin of the American Mathematical Society. New Series
1 RAIRO. Informatique Théorique et Applications
1 Cybernetics and Systems Analysis
1 Applied Categorical Structures
1 Annals of Mathematics and Artificial Intelligence
1 Philosophia Mathematica. Series III
1 RIMS Kokyuroku
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 LMS Journal of Computation and Mathematics
1 Nieuw Archief voor Wiskunde. Vijfde Serie
1 Logic and Logical Philosophy
1 Applied Logic Series
1 Logic, Epistemology, and the Unity of Science
1 Mathematics in Computer Science
1 Logica Universalis
1 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae
1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences
1 Texts in Theoretical Computer Science. An EATCS Series

Citations by Year