×

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; Mizar; LEGO; Twelf; ALF; Isabelle/HOL; PVS; HOL; LCF; OMDoc; HOL Light; Haskell; Theorema; kepler98; Agda; Flyspeck; TPTP
Referenced in: 423 Publications
all top 5

Referenced by 450 Authors

24 Kamareddine, Fairouz D.
16 Geuvers, Jan Herman
12 Barthe, Gilles
12 Coquand, Thierry
12 Nederpelt, Rob
8 Blanqui, Frédéric
7 Barendregt, Hendrik Pieter
7 de Bruijn, Nicolaas Govert
7 Rabe, Florian
7 Sørensen, Morten Heine B.
6 Ayala-Rincón, Mauricio
6 Constable, Robert Lee
6 Huet, Gerard P.
6 Laan, Twan
6 Ritter, Eike
6 Wells, Joe B.
6 Wiedijk, Freek
5 Bloo, Roel
5 Damas, Luís
5 Fujita, Ken-etsu
5 Jouannaud, Jean-Pierre
5 Klop, Jan Willem
5 Kohlhase, Michael
5 Paulson, Lawrence Charles
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 Ghilezan, Silvia
4 Hatcliff, John
4 Liquori, Luigi
4 Pollack, Robert
4 Pym, David J.
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 Dowek, Gilles
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 Pagano, Miguel
3 Poll, Erik
3 Polonsky, Andrew
3 Ranta, Aarne
3 Rubio, Albert
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 Oostrom, Vincent
3 Lima Ventura, Daniel
3 Zwanenburg, Jan
2 Abramsky, Samson
2 Adams, Andrew A.
2 Adams, Robin
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 Cohen, Arjeh Marcel
2 de Vrijer, Roel
2 Dougherty, Dan
2 Endrullis, Jörg
2 Fernández, Maribel
2 Gonzalez, Marcos Alvarez
2 Gordon, Andrew D.
2 Gottesman, Aaron
2 Gottliebsen, Hanne
2 Guidi, Ferruccio
2 Honda, Kohei
2 Jeffrey, Alan S. A.
...and 350 more Authors
all top 5

Referenced in 65 Serials

50 Theoretical Computer Science
29 Information and Computation
17 MSCS. Mathematical Structures in Computer Science
16 Annals of Pure and Applied Logic
16 Journal of Automated Reasoning
14 Logical Methods in Computer Science
12 Journal of Functional Programming
9 Journal of Symbolic Computation
6 Archive for Mathematical Logic
6 Journal of Applied Logic
5 Notre Dame Journal of Formal Logic
5 Formal Aspects of Computing
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 Synthese
3 Journal of Computer Science and Technology
3 RAIRO. Theoretical Informatics and Applications
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 Nordic Journal of Computing
2 The Bulletin of Symbolic Logic
2 Fundamenta Informaticae
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 Journal of Applied Non-Classical Logics
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

Referencing Publications by Year