×

马特里布

swMATH ID: 36839
软件作者： 弗洛里斯·范·道恩（Floris van Doorn）；加布里埃尔·埃布纳；罗伯特·刘易斯（Robert Y.Lewis）。；mathlib社区
描述： 维护一个形式数学库。精益数学图书馆mathlib是由具有不同背景和经验水平的用户社区开发的。为了降低贡献者的进入门槛，并减轻审阅贡献的负担，我们为库开发了许多工具，用于检查代码中细微错误的校对开发，并生成适合不同读者的文档。
主页： https://leanprover-community.github.io
源代码：  https://github.com/leanprover-community/mathlib
关键词： 形式数学;图书馆发展;剥棉绒
相关软件： 精益;Coq公司;伊莎贝尔/HOL;PVS公司;存档正式证据;数学软件;阿格达;校对小工具;岩浆;分析;质量管理团队;MMT公司;z3（零3）;枣灰蝶属;Nitpick公司;枫叶;HOL公司;拟Borel空间;教堂;毫升
引用于： 10文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
维护一个形式数学库。 Zbl 1455.68262号
弗洛里斯·范·道恩;加布里埃尔·埃布纳;罗伯特·刘易斯。
2020
全部的 前5名

29位作者引用

2 罗伯特·刘易斯。
1 安德烈亚·博尔赫斯·艾弗拉尔
1 毛里西奥·阿亚拉·林科恩
1 西尔维·博尔多
1 托马斯·布朗宁。
1 凯文·巴扎德
1 雅克·卡雷特
1 弗朗索瓦Clément
1 德利马，塔纳拉·阿里利
1 加布里埃尔·埃布纳
1 弗洛里安·费索尔
1 Farmer，William M。
1 安德烈·路易斯·加尔迪诺
1 塞巴斯蒂安·古泽尔
1 Michikazu Hirata
1 克里斯·休斯
1 刘肯尼
1 阿米莉亚·利文斯顿
1 帕特里克·卢茨
1 文森特·马丁
1 米凯拉·梅耶罗
1 Minamide、Yasuhiko
1 米尔·拉蒙·费尔南德斯
1 佐藤，铁杉
1 亚斯敏·沙罗达
1 歌曲，器物
1 弗洛里斯·范·道恩
1 埃里克·威瑟
1 吴敏超

3篇连载文章中引用

三 自动推理杂志
2 实验数学
1 应用Clifford代数的进展
全部的 前5名

10个领域引用

10 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）
1 一般代数系统（08-XX）
1 数论（11-XX）
1 场论与多项式（12-XX）
1 交换代数（13-XX）
1 代数几何（14-XX）
1 线性代数和多线性代数；矩阵理论（15-XX）
1 结合环与代数（16-XX）
1 群论与推广（20-XX）

按年份列出的引文