Nuprl swMATH ID: 6751 Software Authors: R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, S. F. Smith 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; Isabelle; Automath; PVS; ML; LEGO; Isabelle/HOL; LCF; Mizar; Agda; Twelf; HOL Light; Theorema; TPS; NQTHM; IMPS; ETPS; Elf; CLAM Cited in: 396 Publications 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 435 Authors 23 Constable, Robert Lee 13 Bickford, Mark 12 Kreitz, Christoph 11 Howe, Douglas J. 10 Rabe, Florian 9 Harper, Robert 8 Basin, David A. 8 Bundy, Alan 8 Cohen, Liron 8 Farmer, William M. 8 Rahli, Vincent 7 Pfenning, Frank 6 Felty, Amy P. 6 Giunchiglia, Fausto 6 Kohlhase, Michael 6 Meseguer Guaita, José 6 Nogin, Aleksey 6 Smaill, Alan 5 Benzmüller, Christoph Ewald 5 Caldwell, James L. 5 Luo, Zhaohui 5 Paulson, Lawrence Charles 5 Sacerdoti Coen, Claudio 5 Schmitt, Stephan 5 Schürmann, Carsten 5 Siekmann, Jörg H. 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 Paulin-Mohring, Christine 4 Shankar, Natarajan 4 Traverso, Paolo 4 Xi, Hongwei 3 Angiuli, Carlo 3 Asperti, Andrea 3 Bishop, Matthew 3 Buchberger, Bruno 3 Coglio, Alessandro 3 Coquand, Thierry 3 Eaton, Richard 3 Halpern, Joseph Yehuda 3 Horozal, Fulya 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 Otten, Jens 3 Petride, Sabina 3 Poernomo, Iman Hafiz 3 Pollack, Robert 3 Sannella, Donald T. 3 Takayama, Yukihide 3 Tatsuta, Makoto 3 van Harmelen, Frank 2 Allen, Stuart F. 2 Anand, Abhishek 2 Anderson, Penny 2 Andres, Eric 2 Autexier, Serge 2 Barendregt, Hendrik Pieter 2 Benzinger, Ralph 2 Berger, Ulrich 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 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 Gordon, Mike J. 2 Guttman, Joshua D. 2 Hesketh, Jane 2 Honsell, Furio 2 Huang, Xiaorong 2 Ireland, Andrew 2 Issar, Sunil 2 Jackson, Paul B. ...and 335 more Authors all top 5 Cited in 58 Serials 33 Theoretical Computer Science 22 Journal of Automated Reasoning 12 Lecture Notes in Computer Science 11 Annals of Mathematics and Artificial Intelligence 10 MSCS. Mathematical Structures in Computer Science 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 5 Logical Methods in Computer Science 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 Artificial Intelligence 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 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 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 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 345 Computer science (68-XX) 211 Mathematical logic and foundations (03-XX) 19 General and overarching topics; collections (00-XX) 6 Category theory; homological algebra (18-XX) 3 History and biography (01-XX) 3 Commutative algebra (13-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Number theory (11-XX) 2 Algebraic topology (55-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