Nuprl swMATH ID: 6751 Software Authors: Constable, R. L.; Allen, S. F.; Bromley, H. M.; Cleaveland, W. R.; Cremer, J. F.; Harper, R. W.; Howe, D. J.; Knoblock, T. B.; Mendler, N. P.; Panangaden, P.; Sasaki, J. T.; Smith, S. F. Description: The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-scale applications. Nuprl LPE, the newest release, features an open, distributed architecture centered around a flexible knowledge base and supports the cooperation of independent formal tools. Homepage: http://www.nuprl.org/ Related Software: Coq; HOL; Automath; Isabelle; PVS; ML; Isabelle/HOL; LEGO; LCF; Mizar; Agda; HOL Light; Twelf; TPS; NQTHM; IMPS; Theorema; ALF; Cambridge LCF; Elf Cited in: 426 Documents Standard Articles 5 Publications describing the Software, including 5 Publications in zbMATH Year Nuprl as logical framework for automating proofs in category theory. Zbl 1354.68232Kreitz, Christoph 2012 Innovations in computational type theory using Nuprl. Zbl 1107.68090Allen, S. F.; Bickford, M.; Constable, R. L.; Eaton, R.; Kreitz, C.; Lorigo, L.; Moran, E. 2006 The Nuprl open logical environment. Zbl 0963.68532Allen, Stuart F.; Constable, Robert L.; Eaton, Rich; Kreitz, Christoph; Lorigo, Lori 2000 Nuprl as a concurrent interactive theorem prover. Zbl 0884.68114Moten, Roderick 1997 Computational metatheory in Nuprl. Zbl 0646.03010Howe, Douglas J. 1988 all top 5 Cited by 450 Authors 23 Constable, Robert Lee 13 Bickford, Mark 12 Howe, Douglas J. 12 Kreitz, Christoph 10 Rabe, Florian 9 Basin, David A. 9 Bundy, Alan 9 Cohen, Liron 9 Harper, Robert 9 Pfenning, Frank 9 Rahli, Vincent 8 Farmer, William M. 8 Smaill, Alan 7 Giunchiglia, Fausto 6 Felty, Amy P. 6 Kohlhase, Michael 6 Luo, Zhaohui 6 Meseguer Guaita, José 6 Nogin, Aleksey 6 Paulson, Lawrence Charles 5 Benzmüller, Christoph Ewald 5 Caldwell, James L. 5 Paulin-Mohring, Christine 5 Sacerdoti Coen, Claudio 5 Schmitt, Stephan 5 Schürmann, Carsten 5 Siekmann, Jörg H. 5 Traverso, Paolo 5 Wiedijk, Freek 4 Andrews, Peter B. 4 Armando, Alessandro 4 Avron, Arnon 4 Bridges, Douglas Suth 4 Geuvers, Jan Herman 4 Hickey, Jason J. 4 Licata, Daniel R. 4 Lorigo, Lori 4 Moczydłowski, Wojciech 4 Nadathur, Gopalan 4 Shankar, Natarajan 4 van Harmelen, Frank 4 Xi, Hongwei 3 Angiuli, Carlo 3 Asperti, Andrea 3 Berger, Ulrich 3 Bishop, Matthew 3 Buchberger, Bruno 3 Coglio, Alessandro 3 Coquand, Thierry 3 Eaton, Richard 3 Halpern, Joseph Yehuda 3 Horozal, Fulya 3 Ireland, Andrew 3 Kamareddine, Fairouz D. 3 Kaufmann, Matt 3 Kerber, Manfred 3 Kutsia, Temur 3 Laan, Twan 3 Maietti, Maria Emilia 3 Meier, Andreas 3 Naumov, Pavel G. 3 Nederpelt, Rob 3 Nesmith, Dan 3 Otten, Jens 3 Petride, Sabina 3 Poernomo, Iman Hafiz 3 Pollack, Robert 3 Sannella, Donald T. 3 Takayama, Yukihide 3 Tatsuta, Makoto 2 Affeldt, Reynald 2 Allen, Stuart F. 2 Anand, Abhishek 2 Anderson, Penny 2 Andres, Eric 2 Autexier, Serge 2 Barendregt, Hendrik Pieter 2 Beeson, Michael J. 2 Benzinger, Ralph 2 Berghofer, Stefan 2 Bertot, Yves 2 Boulton, Richard J. 2 Bove, Ana 2 Boy de la Tour, Thierry 2 Brown, Chad Edward 2 Chollet, Agathe 2 Cleaveland, Rance 2 Cohen, Cyril 2 Crary, Karl 2 Crossley, John Newsome 2 Despeyroux, Joëlle 2 Dietrich, Dominik 2 Dybjer, Peter 2 Egly, Uwe 2 Fleuriot, Jacques D. 2 Fuchs, Laurent 2 Galmiche, Didier 2 Gardner, Philippa Anne 2 Green, Ian 2 Guttman, Joshua D. ...and 350 more Authors all top 5 Cited in 59 Serials 33 Theoretical Computer Science 23 Journal of Automated Reasoning 12 Mathematical Structures in Computer Science 12 Lecture Notes in Computer Science 11 Annals of Mathematics and Artificial Intelligence 9 Journal of Symbolic Computation 8 Information and Computation 7 Formal Aspects of Computing 7 Journal of Functional Programming 7 Journal of Applied Logic 6 Annals of Pure and Applied Logic 6 Logical Methods in Computer Science 4 Artificial Intelligence 4 Fundamenta Informaticae 3 BIT 3 Studia Logica 3 Formal Methods in System Design 3 The Journal of Logic and Algebraic Programming 3 Sādhanā 2 Acta Informatica 2 Journal of Logic and Computation 2 International Journal of Foundations of Computer Science 2 Journal of Logic, Language and Information 2 Higher-Order and Symbolic Computation 2 NATO ASI Series. Series F. Computer and Systems Sciences 1 International Journal of Systems Science 1 Letters in Mathematical Physics 1 Cahiers de Topologie et Géométrie Différentielle Catégoriques 1 Computer Languages 1 Hokkaido Mathematical Journal 1 Notre Dame Journal of Formal Logic 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 Synthese 1 International Journal of Parallel Programming 1 Journal of Information Processing and Cybernetics 1 Advances in Modeling & Simulation 1 Journal of Cryptology 1 AI Communications 1 Pattern Recognition 1 Distributed Computing 1 Indagationes Mathematicae. New Series 1 Journal of Applied Non-Classical Logics 1 Journal of the IGPL 1 Journal of the ACM 1 LMS Journal of Computation and Mathematics 1 The Journal of Functional and Logic Programming 1 Journal of Universal Computer Science 1 IEEE Annals of the History of Computing 1 ACM Transactions on Computational Logic 1 Oberwolfach Reports 1 Seminarbericht, Humboldt-Universität zu Berlin, Sektion Mathematik 1 A.P.I.C. Studies in Data Processing 1 Cambridge Tracts in Theoretical Computer Science 1 DIMACS. Series in Discrete Mathematics and Theoretical Computer Science 1 The Institute of Mathematics and Its Applications Conference Series. New Series 1 International Series of Monographs on Computer Science 1 Logica Universalis 1 Journal of Logical and Algebraic Methods in Programming 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Cited in 17 Fields 372 Computer science (68-XX) 226 Mathematical logic and foundations (03-XX) 19 General and overarching topics; collections (00-XX) 9 Category theory; homological algebra (18-XX) 4 Algebraic topology (55-XX) 3 History and biography (01-XX) 3 Combinatorics (05-XX) 3 Number theory (11-XX) 3 Commutative algebra (13-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Approximations and expansions (41-XX) 1 Functional analysis (46-XX) 1 Geometry (51-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year