×

伊莎贝尔

swMATH ID: 454
软件作者: 拉里·保尔森、托比亚斯·尼普科夫、马卡里乌斯·温泽尔
描述: 伊莎贝尔是一名普通的校对助理。它允许用形式语言表达数学公式,并提供了在逻辑演算中证明这些公式的工具。主要应用是数学证明的形式化,特别是形式验证,包括证明计算机硬件或软件的正确性以及证明计算机语言和协议的属性。
主页: http://isabelle.in.tum.de/
操作系统: Windows、MacOS和Linux
依赖项: 依赖关系
关键词: 表单
相关软件: 伊莎贝尔/HOL;霍尔;Coq公司;存档正式证据;PVS公司;毫升;HOL灯;伊萨尔;米扎尔;伊莎贝尔/伊萨尔;大锤;Nuprl公司;ACL2型;z3型;伊莎贝尔/采埃孚;低成本融资;GitHub公司;自动化;Twelf公司;区域设置
引用于: 734文件
ORMS中也引用了该软件。
全部的 前5名

835位作者引用

40 托比亚斯·尼普科
37 劳伦斯·查尔斯·保尔森
25 弗洛里安·拉贝
20 塞萨里·卡利西克
20 马卡里乌斯·温泽尔
18 贾斯敏·克里斯蒂安·布兰切特
16 雅克·弗莱里奥特。
16 雷内·蒂曼
13 迈克尔·科尔哈斯
13 安德烈亚斯·洛赫比勒
13 安德烈·波佩斯库
12 David A.Basin。
12 德米特里·特拉泰尔
10 西蒙·福斯特
10 克里斯蒂安·斯特纳格尔
9 克莱门斯·巴拉林
9 克里斯托夫·埃瓦尔德·本兹穆勒
9 斯特凡·伯格霍费尔
9 彼得·兰米奇
8 卢卡斯·布尔瓦恩
8 沃尔特·古特曼
8 格温·克莱恩
8 城市,基督教
8 沃尔夫,伯克哈特
8 詹姆斯·C·P·伍德科克。
7 阿兰·邦迪
7 杰里米·道森。
7 Jose Divasón
7 约翰·Hölzl
7 富利亚·霍罗扎尔
7 塞恩·马修斯
7 约瑟夫·乌尔班
6 杰苏斯·阿兰塞
6 拉杰夫·普拉巴卡尔·戈尔
6 古德蒙德·格罗夫
6 奥斯曼·哈桑
6 弗洛里安·卡姆米勒
6 昆查尔,Ondřej
6 克里斯托夫·吕斯
6 Pąk,卡罗尔
6 乔治·斯特鲁斯
6 索菲涅·塔哈尔
6 卢卡·维甘诺
6 Tjark韦伯
5 阿拉斯代尔·阿姆斯特朗
5 Dongol,布里耶什
5 曼纽尔·埃贝尔
5 艾米·费尔蒂(Amy P.Felty)。
5 Thibault Gauthier
5 弗洛里安·哈夫特曼
5 Max W·哈斯贝克。
5 拉尔斯·胡佩尔
5 费比安·伊姆勒
5 巴特·雅各布斯
5 穆阿·约翰逊
5 亚历山大·克劳斯
5 蒂尔·莫萨科夫斯基
5 格哈德·谢尔霍恩
5 安德斯·施利奇特克鲁尔
5 卡斯滕·舒尔曼
5 Laurent Théry
5 大卫·冯·奥海姆
5 弗里克·威迪杰克
5 Akihisa山田
5 詹博华
4 雅克·卡梅特
4 卢卡斯·狄克逊
4 西蒙·多尔蒂
4 段振华
4 法默,威廉·M。
4 马蒂亚斯·弗勒里
4 卡斯滕·霍曼
4 拉马纳·库马尔
4 亚历山大·马列茨基
4 丹尼尔·马提库克
4 阿尔特·米德尔多普
4 奥拉夫·穆勒
4 托比·默里
4 朱利安·纳格尔
4 朱利安·纳布克斯
4 迈克尔·诺里什
4 弗兰克·芬宁
4 田聪
4 马库斯·温泽尔
4 张楠
4 张兴元
纪尧姆·阿拉伊斯
罗布·D·阿尔森。
谢尔盖·奥特西尔
杰里米·阿维加德
格特鲁德·鲍尔
杰斯珀·本特森
乌尔里希·伯杰
布洛赫,伊莎贝尔
Böhme,萨沙
马克西姆·博尔廷
拉夫·克里斯蒂安·波特什
马可·布赖特·卡米纳蒂
阿明·查伊布
米海·Codescu
……还有735名作者
全部的 前5名

66篇连载文章中引用

100 自动推理杂志
19 计算的形式方面
12 理论计算机科学
9 函数编程杂志
8 应用逻辑杂志
8 程序设计中的逻辑和代数方法杂志
7 符号计算杂志
7 信息与计算
6 ACM计算逻辑事务
5 逻辑与计算杂志
5 MSCS公司。计算机科学中的数学结构
5 数学与人工智能年鉴
5 计算机基础理论
5 计算机科学课堂讲稿
4 LMS计算与数学杂志
4 形式化推理杂志
人工智能
2 数学信使
2 计算机科学与技术杂志
2 国际近似推理杂志
2 系统设计中的形式化方法
2 应用非经典逻辑杂志
2 IGPL逻辑期刊
2 组合优化期刊
2 高阶和符号计算
2 并行与计算:实践与经验
2 计算机科学中的数学
2 泛逻辑
2 计算机科学中的逻辑方法
1 德国数学实验室(DMV)
1 计算物理杂志
1 物理A
1 ACM数学软件汇刊
1 数学经济学杂志
1 管理科学
1 圣母院形式逻辑杂志
1 Studia Logica公司
1 合成
1 运营研究信件
1 江西师范大学学报。自然科学版
1 美国数学学会杂志
1 AI通信
1 分布式计算
1 数学百科全书。新系列
1 工程、通信和计算中的应用代数
1 控制论与系统分析
1 逻辑、语言和信息杂志
1 应用Clifford代数的进展
1 北欧计算机杂志
1 工程中的数学问题
1 优化方法和软件
1 芝加哥理论计算机科学杂志
1 武汉大学自然科学学报
1 非线性科学与数值模拟中的通信
1 新西伯利亚计算中心(NCC)和A.P.Ershov信息系统研究所(IIS)联合公报。系列:计算机科学
1 通用计算机科学杂志
1 应用数学杂志
1 萨达纳
1 并行处理信件
1 Oberwolfach报告
1 A.P.I.C.数据处理研究
1 计算机科学前沿
1 计算机科学评论
1 伦敦皇家学会会刊。A.数学、物理和工程科学
1 计算机科学课文
1 杰出论文
全部的 前5名

42个领域被引用

694 计算机科学(68至XX)
233 数学逻辑和基础(03-XX)
19 组合数学(05-XX)
13 数论(11-XX)
10 有序,格,有序代数结构(06-XX)
10 交换代数(13-XX)
10 博弈论、经济学、金融和其他社会和行为科学(91-XX)
9 数值分析(65-XX)
9 运筹学、数学规划(90-XX)
9 信息与通信理论、电路(94-XX)
8 总体主题;集合(00-XX)
7 范畴理论;同调代数(18-XX)
6 历史和传记(01-XX)
6 线性代数和多线性代数;矩阵理论(15-XX)
6 实际功能(26年X月X日)
5 常微分方程(34-XX)
4 几何图形(51至XX)
群论与推广(20-XX)
动力学系统与遍历理论(37至XX)
凸和离散几何(52至XX)
代数拓扑(55-XX)
概率论与随机过程(60-XX)
量子理论(81-XX)
2 场论和多项式(12-XX)
2 测量和集成(28-XX)
2 复变量的函数(30年XX月)
2 粒子和系统力学(70-XX)
2 相对论和引力理论(83至XX)
2 系统论;控制(93至XX)
2 数学教育(97-XX)
1 代数几何(14-XX)
1 结合环与代数(16-XX)
1 非结合环和代数(17-XX)
1 几个复变量和分析空间(32-XX)
1 偏微分方程(35-XX)
1 功能分析(46倍X倍)
1 变分法与最优控制;最优化(49至XX)
1 流形和细胞复合体(57至XX)
1 统计学(62-XX)
1 可变形固体力学(74-XX)
1 统计力学,物质结构(82-XX)
1 生物学和其他自然科学(92-XX)

按年份列出的引文