×

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; Automath; Isabelle; PVS; ML; LEGO; LCF; Isabelle/HOL; Mizar; Agda; Twelf; HOL Light; NQTHM; TPS; Theorema; IMPS; ETPS; CLAM; Elf
Cited in: 407 Documents
all top 5

Cited by 443 Authors

23 Constable, Robert Lee
13 Bickford, Mark
12 Kreitz, Christoph
11 Howe, Douglas J.
10 Rabe, Florian
9 Basin, David A.
9 Bundy, Alan
9 Harper, Robert
9 Pfenning, Frank
8 Cohen, Liron
8 Farmer, William M.
8 Rahli, Vincent
7 Giunchiglia, Fausto
7 Smaill, Alan
6 Felty, Amy P.
6 Kohlhase, Michael
6 Meseguer Guaita, José
6 Nogin, Aleksey
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 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 Paulin-Mohring, Christine
4 Shankar, Natarajan
4 van Harmelen, Frank
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 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 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 Guttman, Joshua D.
2 Hesketh, Jane
2 Honsell, Furio
2 Huang, Xiaorong
2 Issar, Sunil
2 Jackson, Paul B.
...and 343 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 MSCS. Mathematical Structures 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
5 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 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

Citations by Year