ACL2型 swMATH ID: 60 软件作者: 马特·考夫曼(Matt Kaufmann)、斯特罗特·摩尔(Strother Moore) 描述: ACL2既是一种可以为计算机系统建模的编程语言,也是一种帮助您证明这些模型属性的工具。ACL2是Boyer-Moore谚语家族的一员。 主页: http://www.cs.utexas.edu/users/moore/acl2/ 关键词: 定理证明;自动推理;形式验证 相关软件: Coq公司;伊莎贝尔/HOL;PVS公司;HOL公司;伊莎贝尔;HOL灯;毫升;NQTHM公司;米扎尔;z3(零3);LISP公司;Flyspeck飞点;存档正式证据;常春藤;莫德;Why3号机组;大锤;自旋蛋白;肯佐;水獭 引用于: 287文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 朝向机械校核的计算理论。ACL2项目。 Zbl 0979.68090号J.Strother摩尔 2000 全部的 前5名375位作者引用 25 摩尔,J·斯特罗瑟 21 何塞·路易斯·鲁伊斯·雷纳 20 马特·考夫曼 19 Martín-Mateos,Francisco-Jesüs 14 沃伦·亨特(Warren A.jun Hunt)。 14 Manolios,Panagiotis公司 12 鲁本·甘博阿(Ruben A.Gamboa)。 11 玛丽亚·何塞·伊达尔戈 11 鲁比奥·加西亚、朱利奥·杰苏斯 10 阿隆索、何塞·安东尼奥 10 桑迪普·雷 9 朱利安·施马耳茨 9 达隆·弗隆 8 格里高·罗什乌 7 Laureano Lambán 7 何塞·梅塞盖尔·瓜伊塔 6 西尔维·博尔多 6 段振华 6 乔纳森·赫拉斯 6 纪尧姆·梅尔金德 6 玛格努斯·奥·米林。 6 张楠 5 多米尼克·博里奥内 5 Heule,Marijn J.H。 5 田聪 4 约翰·考尔斯(John R.Cowles)。 4 Jean-Christophe Filliátre 4 塞萨里·卡利西克 4 托比亚斯·尼普科 4 维科·帕斯夸尔 4 康拉德·斯林德 4 内森·韦兹勒。 三 阿隆索-吉梅内斯,何塞·安东尼奥 三 亚历山德罗·阿曼多 三 西蒙·克鲁内斯 三 贾里德·戴维斯 三 Jose Divasón 三 迈克尔·J·C·戈登。 三 关勇 三 凯瑟琳·勒雷 三 麦地那-布洛,Inmaculada 三 塞萨尔·穆尼奥斯。 三 斯科特·欧文斯 三 弗朗西斯科·帕洛莫·洛萨诺 三 帕斯莫尔,格兰特·奥尼 三 劳伦斯·查尔斯·保尔森 三 西尔维奥·兰伊斯 三 埃里克·里伯 三 Natarajan Shankar 三 史志平 三 罗伯·萨默斯 三 索菲涅·塔哈尔 三 汤玛·戴安娜 三 约瑟夫·乌尔班 三 弗里克·韦贝克 三 弗里克·威迪杰克 2 马库斯·阿德霍尔德 2 奥特曼·阿伊特·穆罕默德 2 贝扎德·阿克巴普尔 2 杰苏斯·阿兰塞 2 阿劳霍,若昂 2 Stylianos巴萨吉安尼斯 2 雅克·卡雷特 2 弗朗索瓦·克莱门特 2 卢卡·孔帕尼亚 2 威廉·库克。 2 彼得·迪林杰(Peter C.Dillinger)。 2 Farmer,William M。 2 简·赫尔曼·杰弗斯 2 乔治·詹塔米迪斯 2 本尼·戈德林 2 本杰明·格雷戈里 2 大卫·A·格雷夫。 2 大卫·S·哈丁。 2 沃伦·朱恩·亨特(Warren jun Hunt)。 2 穆阿·约翰逊 2 Jonker,天主教M。 2 叶卡捷琳娜·科门丹茨卡亚 2 罗伯特·贝拉明·克鲁格 2 雷诺,K.鲁斯坦M。 2 李丽明 2 李永东 2 埃文·麦克林 2 米凯拉·梅耶罗 2 威廉·麦库恩。 2 米希尔·帕朗·梅塔 2 朱利安·纳格尔 2 诺里斯,迈克尔 2 奥莫多,尤金尼奥·乔瓦尼 2 爱荷华州帕什卡 2 皮埃尔,劳伦斯 2 大卫·L·拉格。 2 托马斯·里奇 2 吉亚特·艾尔·萨马内 2 Jun Sawada先生 2 ☑特拉安·弗洛林(Traian Florin) 2 安娜·斯洛博多娃 2 安德烈·特夫内斯库 2 斯特里赫曼(Ofer Strichman) 2 杰夫·萨特克利夫 …还有275名作者 全部的 前5名44篇连载文章中引用 39 自动推理杂志 9 计算的形式方面 8 理论计算机科学电子论文集(EPTCS) 7 系统设计中的形式化方法 6 理论计算机科学 6 计算机科学课堂讲稿 4 信息与计算 4 数学与人工智能年鉴 三 符号计算杂志 三 应用逻辑杂志 三 计算机科学中的数学 2 纯逻辑与应用逻辑年鉴 2 MSCS公司。计算机科学中的数学结构 2 比利时数学学会公报-西蒙·斯特文 2 组合优化期刊 2 高阶和符号计算 2 萨达纳 2 计算机科学中的逻辑方法 1 信息学报 1 代数通讯 1 国际通用系统杂志 1 信息处理信件 1 数学物理中的字母 1 计算机程序设计科学 1 应用智能 1 数学逻辑档案 1 工程、通信和计算中的应用代数 1 控制论与系统分析 1 函数编程杂志 1 计算与数学组织理论 1 工程中的数学问题 1 IGPL逻辑杂志 1 LMS计算与数学杂志 1 逻辑与代数程序设计杂志 1 葡萄牙数学。Nova Série公司 1 RACSAM公司。《科学与自然》Ciencias Exactas皇家科学院修订版。意甲:马特马蒂卡斯 1 理论计算机科学电子笔记 1 组、复杂性、密码学 1 形式化推理杂志 1 形式化数学 1 数值代数、控制与优化 1 计算机科学评论 1 Modelirovanie i Analiz信息系统 1 国际工业数学杂志 全部的 前5名在25个字段中引用 276 计算机科学(68-XX) 50 数学逻辑和基础(03-XX) 16 总体主题;集合(00-XX) 12 数值分析(65-XX) 11 代数拓扑(55-XX) 9 线性代数和多线性代数;矩阵理论(15-XX) 6 实函数(26年X月X日) 4 组合数学(05-XX) 4 交换代数(13-XX) 三 偏微分方程(35-XX) 三 信息与通信理论、电路(94-XX) 2 代数几何(14-XX) 2 群论与推广(20-XX) 2 运筹学、数学规划(90-XX) 2 生物学和其他自然科学(92-XX) 2 系统论;控制(93至XX) 2 数学教育(97-XX) 1 历史和传记(01-XX) 1 数论(11-XX) 1 范畴理论;同调代数(18-XX) 1 测量和集成(28-XX) 1 欧氏空间的调和分析(42至XX) 1 积分变换,运算微积分(44-XX) 1 统计学(62-XX) 1 流体力学(76-XX) 按年份列出的引文