存档正式证据 引用于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)…
史密斯_标准_表格 1份文件引用(2022) 软件作者: 何塞·迪瓦森 相关软件: 伊莎贝尔;Kenzo;传输… 主要字段: 交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)