×

找到7个软件包(结果1-7)

存档正式证据

引用于249份文件(1963–2024)
软件作者: Jasmin Christian布兰切特;马克西米利安·哈斯贝克;丹尼尔·马提库克(Daniel Matichuk);托比亚斯·尼普科
相关软件: Isabelle/HOL;伊莎贝尔;Coq…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

Flyspeck飞点

131篇文献引用(2004–2023)
软件作者: 托马斯·黑尔斯(Thomas C.Hales)。;坦克墨水,雕刻;塞萨里·卡利西克;约瑟夫·乌尔班(Josef Urban);赫尔曼·格乌弗斯
相关软件: HOL灯;Isabelle/HOL;Coq…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);凸和离散几何(52-XX)…

马亚

23篇文献引用(2002–2015)
软件作者: Dieter Hutter;谢尔盖·奥特西尔
相关软件: CASL;米扎尔;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

ArcAngel公司

在14份文件中引用(2003–2023)
软件作者: 马塞尔·奥利维拉(Marcel Oliveira);安娜·卡瓦尔坎蒂;吉姆·伍德科克
相关软件: 马戏团;Z;电源保护…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

马特里布

10篇文献引用(2020–2022)
软件作者: 弗洛里斯·范·道恩(Floris van Doorn);加布里埃尔·埃布纳;罗伯特·刘易斯(Robert Y.Lewis)。;mathlib社区
相关软件: 精益;Coq;Isabelle/HOL…
主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…

DAMPAS公司

1份文件引用(2016)
软件作者: M.Mosbah等人
相关软件: RDA;哈斯克尔;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

史密斯_标准_表格

1份文件引用(2022)
软件作者: 何塞·迪瓦森
相关软件: 伊莎贝尔;Kenzo;传输…
主要字段: 交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件