Nuprl公司 swMATH标识： 6751 软件作者： 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 说明： Nuprl系统是一个关于数学和程序设计的推理框架。多年来，它的设计得到了很大的改进，以满足大规模应用的需要。nuprlpe是最新版本，它以一个开放的、分布式的体系结构为特点，以灵活的知识库为中心，并支持独立正式工具的协作。 主页： http://www.nuprl.org/ 相关软件： 可口可乐;荷兰语;自动机;伊莎贝尔;PVS公司;毫升;乐高;伊莎贝尔/霍尔;低成本;尾端;阿格达;特维尔;霍尔灯;枣灰蝶属;测试程序集;数量;小鬼;ETPS公司;精灵;蛤 参考文献： 396种出版物 标准条款 5种出版物描述软件，包括5种出版物在zbMATH 年 Nuprl作为范畴理论中自动证明的逻辑框架。 Zbl 1354.68232克里茨，克里斯托夫 2012 使用Nuprl计算类型理论的创新。 Zbl 1107.68090艾伦，S.F。;比克福德，M。;警官，R.L。;伊顿，R。;克雷茨，C。;洛里戈，L。;莫兰，E。 2006 Nuprl开放逻辑环境。 Zbl 0963.68532艾伦，斯图亚特F。;警察，罗伯特L。;伊顿，里奇;克里茨，克里斯托夫;萝莉哥，萝莉 2000 Nuprl作为并发交互定理证明程序。 Zbl 0884.68114莫滕，罗德里克 1997 Nuprl中的计算元理论。 Zbl 0646.03010豪，道格拉斯J。 1988 全部的 前5名434位作者引用 23 警察，罗伯特·李 13 比克福德，马克 12 克里茨，克里斯托夫 11 豪，道格拉斯J。 10 拉贝，弗洛里安 9 哈珀，罗伯特 8 盆地，大卫A。 8 邦迪，艾伦 8 科恩，利伦 8 农夫，威廉M。 8 拉利，文森特 7 芬宁，弗兰克 6 费尔蒂，艾米P。 6 朱西格里亚，福斯托 6 科哈塞，迈克尔 6 梅斯盖尔·瓜伊塔，何塞 6 不，阿列克西 6 斯梅尔，艾伦 5 本斯穆勒，克里斯托夫·埃瓦尔德 5 考德威尔，詹姆斯L。 5 罗兆辉 5 保尔森，劳伦斯·查尔斯 5 Sacerdoti Coen，克劳迪奥 5 施密特，斯蒂芬 5 舒曼，卡斯滕 5 希克曼，Jörg H。 5 维迪迪克，弗里克 4 安德鲁斯，彼得B。 4 阿曼多，亚历山德罗 4 阿文，阿农 4 布里奇斯，道格拉斯·萨特 4 杰弗斯，简·赫尔曼 4 希基，杰森J。 4 利卡塔，丹尼尔R。 4 萝莉哥，萝莉 4 Moczydłowski，沃伊切赫 4 纳达图尔，戈帕兰 4 保林·莫林，克里斯汀 4 沙卡，纳塔拉扬 4 保罗，特拉维索 4 十一、宏伟 三 安圭利，卡罗 三 阿斯佩蒂，安德里亚 三 毕肖普，马修 三 布赫伯格，布鲁诺 三 科格里奥，亚历山德罗 三 可口可乐，蒂埃里 三 伊顿，理查德 三 哈珀，约瑟夫·耶胡达 三 霍洛扎尔，富尔雅 三 卡马雷丁，费尔鲁兹。 三 考夫曼，马特 三 克伯，曼弗雷德 三 特穆尔库兹亚 三 莱恩，吐温 三 麦蒂，玛丽亚·埃米利娅 三 梅尔，安德烈亚斯 三 诺莫夫，帕维尔G。 三 内德佩尔特，罗伯 三 奥顿，詹斯 三 佩特里德，萨比纳 三 Poernomo，伊曼哈菲兹 三 波拉克，罗伯特 三 桑内拉，唐纳德T。 三 高山由纪德 三 Tatsuta，Makoto 三 范哈梅伦，弗兰克 2 艾伦，斯图亚特F。 2 阿南，阿披实 2 安德森，佩妮 2 安德烈，埃里克 2 Autexier，谢尔盖 2 Barendregt，Hendrik Pieter 2 本辛格，拉尔夫 2 伯杰，乌尔里希 2 伯格霍夫，斯特凡 2 贝托，伊夫 2 博尔顿，理查德J。 2 阿娜，波夫 2 德拉图尔男孩，蒂埃里 2 布朗，查德·爱德华 2 乔利特，阿加特 2 克莱里，卡尔 2 克罗斯利，约翰·纽索姆 2 德斯佩鲁克斯，乔 2 迪特里希，多米尼克 2 戴比杰，彼得 2 埃格利，乌韦 2 弗莱里奥，雅克·D。 2 福斯，劳伦特 2 加尔米切，迪迪埃 2 加德纳，菲利帕·安妮 2 戈登，迈克J。 2 古特曼，约书亚D。 2 赫斯基，简 2 弘塞尔，富里奥 2 黄晓蓉 2 爱尔兰，安德鲁 2 伊萨，苏尼尔 2 杰克逊，保罗B。 …还有334个作者 全部的 前5名引用了57个系列 33 理论计算机科学 22 自动推理杂志 12 计算机科学讲义 11 数学与人工智能年鉴 10 MSCS公司。计算机科学中的数学结构 9 符号计算杂志 8 信息与计算 7 计算的形式化方面 7 函数程序设计杂志 7 应用逻辑杂志 6 纯逻辑与应用逻辑年鉴 5 计算机科学中的逻辑方法 4 计算机基础理论 三 钻头 三 逻辑研究 三 系统设计中的形式化方法 三 逻辑与代数程序设计杂志 三 ādhanā 2 信息学报 2 人工智能 2 逻辑与计算杂志 2 国际计算机科学基础杂志 2 逻辑、语言与信息杂志 2 高阶与符号计算 2 北约ASI系列。计算机与系统科学系列 1 国际系统科学杂志 1 拓扑结构与几何差异 1 计算机语言 1 北海道数学杂志 1 圣母院形式逻辑杂志 1 京都大学数学科学研究所出版物 1 合成语 1 国际并行程序设计杂志 1 信息处理与控制论杂志 1 建模与仿真研究进展 1 密码学杂志 1 人工智能通信 1 模式识别 1 分布式计算 1 数学家英达加。新系列 1 应用非经典逻辑杂志 1 IGPL杂志 1 ACM杂志 1 计算与数学杂志 1 函数与逻辑程序设计杂志 1 通用计算机科学杂志 1 1 IEEE计算史年鉴 1 计算逻辑学报 1 Oberwolfach报告 1 德国柏林洪堡大学 1 A、 P.I.C.数据处理研究 1 剑桥理论计算机科学 1 迪马斯。离散数学与理论计算机科学系列 1 泛逻辑 1 程序设计中的逻辑和代数方法杂志 1 理论计算机科学教材。EATCS系列 全部的 前5名在17个字段中引用 345 计算机科学（68-XX） 211 数理逻辑与基础（03-XX） 19 一般性和全局性主题；收藏（00-XX） 6 范畴论；同调代数（18-XX） 三 历史与传记（01-XX） 三 交换代数（13-XX） 2 组合数学（05-XX） 2 序，格，有序代数结构（06-XX） 2 数论（11-XX） 2 代数拓扑学（55-XX） 2 博弈论、经济学、金融学和其他社会和行为科学（91-XX） 1 群论与推广（20-XX） 1 实函数（26-XX） 1 近似和展开（41-XX） 1 功能分析（46-XX） 1 几何学（51-XX） 1 信息与通信理论，电路（94-XX） 按年份引用出版物