×

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

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)

气象

12份文件引用(1990–2004)
软件作者: 黄芪;D.W.洛夫兰
相关软件: SETHEO公司;水獭;帕塞农…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-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)

GETFOL公司

11份文件引用(1991–2005)
软件作者: F.金奇利亚
相关软件: LCF;Nuprl公司;剑桥LCF…
主要字段: 数学逻辑与基础(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)

mizar-items公司

5份文件引用(2011–2022)
软件作者: 杰西·阿拉玛
相关软件: 米扎尔;MML;MPTP 0.2…
主要字段: 计算机科学(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)

切线

1份文件引用(2018)
软件作者: 巴特·范梅里恩博尔、亚历山大·威尔茨科、丹·摩尔多瓦
相关软件: TensorFlow;西亚诺;Python…
主要字段: 数值分析(65-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)

欧米茄+

3份文件引用(2010–2022)
软件作者: 陈,C。
相关软件: SPOT;山核桃;GitHub…
主要字段: 凸和离散几何(52-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)

富根

2份文件引用(2010–2014)
软件作者: 桑万,K.S.,科达利,R。
相关软件: 行话
主要字段: 运筹学、数学规划(90-XX)

RISCAL公司

2份文件引用(2018)
软件作者: 沃尔夫冈·施莱纳
相关软件: 尼特皮克;数学聊天;CoqHammer…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

发现

1份文件引用(1993)
软件作者: 维提亚耶夫,E.E。;A.A.莫斯科文。
相关软件:
主要字段: 计算机科学(68-XX)

Galois字段算术库

1份文件引用(2011)
软件作者: 阿拉什·帕托
相关软件: 密码;密码技术
主要字段: 组合数学(05-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

GenTreeCad公司

1份文件引用(2012)
软件作者: 塔马斯·卡德克
相关软件: 乳胶
主要字段: 数学逻辑与基础(03-XX)

GeoLogic公司

在0个文档中引用
软件作者: 米罗斯拉夫·奥沙克
相关软件: 日本国债交易所;GeoCoq;GeoGebra公司
主要字段:

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)

Nuprl-Light公司

1份文件引用(1997年)
软件作者: 杰森·希基。
相关软件: 剑桥LCF;Nuprl公司;伊莎贝尔
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

剃刀

1份文件引用(2015)
软件作者: 萨勒曼·萨加菲;丹尼尔·道尔蒂
相关软件: MiniSat;iProver;iProver-Eq…
主要字段: 计算机科学(68-XX)

VizAR公司

1份文件引用(2023)
软件作者: Jakubův,Jan;塞萨里·卡利西克
相关软件: 米扎尔
主要字段: 计算机科学(68-XX)

沃森

1份文件引用(2001)
软件作者: Randall Holmes,M。;吉姆·阿尔维斯-福斯
相关软件: 水獭;IMPS;LCF…
主要字段: 计算机科学(68-XX)

DSP日志

在0个文档中引用
软件作者: 塞巴斯蒂安·胡布纳
相关软件:
主要字段:

sMArTH公司

在0个文档中引用
软件作者: 赫里特库
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件