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 Standard Articles 3 Publications describing the Software, including 3 Publications in zbMATH Year Automath and pure type systems. Zbl 1264.03043Kamareddine, Fairouz; Laan, Twan; Nederpelt, Rob 2003 A new implementation of Automath. Zbl 1064.68084Wiedijk, Freek 2002 Checking Landau’s ”Grundlagen” in the AUTOMATH system. With nine appendices; the first one (A description of AUTOMATH and some aspects of its language theory) by D. T. van Daalen. Zbl 0352.68105van Benthem Jutting, L. S. 1977 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 all top 5 Referenced in 18 Fields 310 Computer science (68-XX) 275 Mathematical logic and foundations (03-XX) 11 Category theory; homological algebra (18-XX) 9 General and overarching topics; collections (00-XX) 6 History and biography (01-XX) 3 Geometry (51-XX) 3 Quantum theory (81-XX) 3 Information and communication theory, circuits (94-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 2 Group theory and generalizations (20-XX) 2 Real functions (26-XX) 2 Algebraic topology (55-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Referencing Publications by Year