ETPS公司 162篇文献引用(1986–2022) 软件作者: Peter Andrews、Matthew Bishop、Chad E.Brown、Sunil Issar、Dan Nesmith、Frank Pfenning、Xi Hongwei 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
图形库 140篇文献引用(1993年-2023年) 软件作者: 唐纳德·科努特(Donald E.Knuth)。 相关软件: LOLIB;LEDA;Pajek数据集… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
测试程序集 78篇文献引用(1990–2022) 软件作者: Andrews,Peter B。;乍得·E·布朗。 相关软件: TPTP;ETPS;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
MMT公司 54篇文献引用(2009–2022) 软件作者: 弗洛里安·拉贝 相关软件: OMDoc;质量管理团队;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
RRL公司 在48份文件中引用(1985–2019) 软件作者: D.卡普尔;H.张 相关软件: NQTHM;版次:;OTTER… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…
IMPS公司 52篇文献引用(1990–2021) 软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔 相关软件: 伊莎贝尔;Nuprl公司;Coq… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
GEX公司 34份文件引用(1996年-2023年) 软件作者: Gao,X.-S.等。 相关软件: GeoGebra;日本国债交易所;GCLC… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);数值分析(65-XX)…
月收入 引用于33份文件(2004–2021) 软件作者: 约瑟夫·乌尔班 相关软件: 米扎尔;MML;HOL灯光… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);数学教育(97-XX)
剑桥LCF 24篇文献引用(1985–2017) 软件作者: 劳伦斯·C·鲍尔森。;康拉德·斯林德 相关软件: Nuprl公司;自动化;LCF… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
CERES公司 21篇文献引用(2005–2021) 软件作者: Tsvetan Dunchev;亚历山大·莱奇(Alexander Leitsch);托默·利巴尔(Tomer Libal);丹尼尔·韦勒(Daniel Weller);布鲁诺沃尔岑洛格尔古 相关软件: GAPT;校对工具;梅斯4… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
伊莎贝尔/UTP 19份文件引用(2015–2021) 软件作者: 西蒙·福斯特(Simon Foster);Zeyda,Frank;吉姆·伍德科克 相关软件: Isabelle/HOL;马戏团;Z、 … 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;对照(93-XX)
数学网 16篇文献引用(2000–2016) 软件作者: 杰根·齐默;迈克尔·科尔哈斯 相关软件: TPTP;水獭;PVS… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);常微分方程(34-XX)…
MB基础 17篇文献引用(1999–2006) 软件作者: 安德烈亚斯·弗兰克;迈克尔·科尔哈斯 相关软件: TPS;欧米茄;数字(amp;N)… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)
MMT公司 13份文件引用(2007–2019) 软件作者: Fabricio Chalub;克里斯蒂亚诺·布拉加 相关软件: 莫德;K校准仪;JavaFAN… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
蚱蜢 在14份文件中引用(2015–2023) 软件作者: R.Piskac、T.Wies和D.Zufferey 相关软件: 达夫尼;VeriFast;毒蛇… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
对于左 12份文件引用(2002–2021) 软件作者: Vershinin,K.,Paskevich,A。 相关软件: 米扎尔;SAD;定理… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HOList公司 10篇文献引用(2020–2023) 软件作者: 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件: 谜;E定理证明器;FEMaLeCoP… 主要字段: 群论与推广(20-XX);数值分析(65-XX);计算机科学(68-XX)
校对工具 7份文件引用(2013–2021) 软件作者: C.Dunchev、A.Leitsch、T.Libal、M.Riener、M.Rukhaia、D.Weller、B.Woltzenlogel古 相关软件: TPTP;GAPT;CERES… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
数据链路2 7份文件引用(2021–2023) 软件作者: Fischer,M.、Balunovic,M.,Drachsler-Cohen,D.、Gehr,T.、Zhang,C.、Vechev,M.T。 相关软件: DeepProbLog;MNIST;亚当… 主要字段: 计算机科学(68-XX)
MGTP公司 6篇文献引用(1995–2013) 软件作者: 长谷川龙子;藤田,广岛;宫崎骏小村;Shirai、Yasuyuki 相关软件: 萨奇莫;TPTP;MiniSat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Ergo 6号机组 6篇文献引用(1997–2003) 软件作者: 马克·乌廷(Mark Utting);彼得·罗宾逊(Peter Robinson);雷·尼克森 相关软件: Qu-Prolog;电子LOTOS;CADP… 主要字段: 计算机科学(68-XX)
卢比 6篇文献引用(2007–2010) 软件作者: 安德烈·鲍尔(Andrej Bauer)、克里斯托弗·斯通(Christopher A.Stone) 相关软件: OCaml;真实伦敦银行同业拆借利率;iRRAM… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
VeriPhy公司 4份文件引用(2018–2022) 软件作者: Brandon Bohrer、Yong Kiam Tan、Stefan Mitsch、Magnus O.Myreen、AndréPlatzer 相关软件: 凯伊迈拉;Coq;ModelPlex… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
Crowfoot公司 5份文件引用(2011–2015) 软件作者: 纳撒尼尔·查尔顿;本·霍斯福尔(Ben Horsfall);罗伊斯,伯恩哈德 相关软件: 小脚;VeriFast;jStar… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
山核桃 4份文件引用(2022–2024) 软件作者: Reed Oei、Dun Ma、Christian Schulz、Philipp Hieronymi 相关软件: 核桃;组织环境信息系统;欧米茄+… 主要字段: 数论(11-XX);计算机科学(68-XX)
SLANG(俚语) 3份文件引用(1974–2018) 软件作者: 泰晤士河,J.M。 相关软件: PROSE公司;PADRE2;ADOL-C… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
哈斯普林 2份文件引用(2009–2017) 软件作者: Lee,Junkyu;毕、余;Gregory D.Peterson。;Robert J.Hinde。;罗伯特·哈里森。 相关软件: SPRNG;测试U01;RngSteam… 主要字段: 数值分析(65-XX)
HOL灯QE 3份文件引用(2018–2020) 软件作者: 雅克·卡雷特;Farmer,William M。;帕特里克·拉斯科夫斯基 相关软件: Coq;伊德里斯;重新选择… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Isar步骤 3份文件引用(2021–2023) 软件作者: 李文达;于磊;吴玉怀;劳伦斯·C·鲍尔森。 相关软件: Isabelle/HOL;HOList;TacTok… 主要字段: 计算机科学(68-XX)
MNiBLoS(移动互联网操作系统) 2份文件引用(2016年至2019年) 软件作者: 阿曼达·维达尔 相关软件: Fuzzydl;z3;SMT-LIB… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
SNP最大值 3份文件引用(2007–2014) 软件作者: Anne-Laure,Boulesteix;卡罗琳·斯特罗布尔(Carolin Strobl);斯特凡·韦丁格;Wichmann,H.-Erich;斯特凡·瓦根菲尔 相关软件: R;LogicReg;R/qtl… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
CAVA公司 2份文件引用(2018年至2019年) 软件作者: 朱利安·布伦纳;彼得·兰米奇(Peter Lammich);等。 相关软件: 石笼SCC;CAVA LTL模型检查器;存档正式证据… 主要字段: 计算机科学(68-XX)
费利克斯 2份文件引用(2009–2010) 软件作者: Morra,C.、J.Becker、M.Ayala Rincón、R.W.Hartenstein 相关软件: CoLoR;RRL;SAEPTUM… 主要字段: 计算机科学(68-XX)
GLE公司 1份文件引用(2023) 软件作者: 安德烈·格罗津(Andrey Grozin);等。 相关软件: 阿克索德劳;乳胶;PyFeyn… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
GMBL公司 1份文件引用(2021) 软件作者: Ryan Krueger;Han、Jesse Michael;丹尼尔·塞尔萨姆 相关软件: TensorFlow;MMP/Geometer;GEOTHER 1.1… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)