×

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

水獭

325篇文献引用(1988–2023)
软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel)
相关软件: TPTP;VAMPIRE公司;SPASS…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…

ETPS公司

162篇文献引用(1986–2022)
软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning
相关软件: TPS;Isabelle/HOL;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…

能量

129篇文献引用(2009年至2024年)
软件作者: 斯泽凯利,Gábor J。;玛丽亚·里佐。
相关软件: R;MVN;mvShapiroTest…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

测试程序集

78篇文献引用(1990–2022)
软件作者: Andrews,Peter B。;乍得·E·布朗。
相关软件: TPTP;ETPS;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…

数学SAT

59篇文献引用(2005–2023)
软件作者: 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼
相关软件: z3;Yices;SMT-LIB…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);计算机科学(68-XX)…

MatSol公司

25篇文献引用(2010–2020)
软件作者: 托马斯·布尔佐博哈特;亚历山大·马尔科普洛斯(Alexandros Markopoulos);托马斯·科祖贝克
相关软件: 总FETI;TFETI;Matlab…
主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

立体agda

17篇文献引用(2020–2023)
软件作者: 安德烈亚·维佐西(Andrea Vezzosi);莫特伯格,安德斯;安德烈亚斯·亚贝尔
相关软件: 立方体;github;Coq…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

CSIsat卫星

14篇文献引用(2009–2016)
软件作者: 德克·拜尔;达米安·祖弗里(Damien Zufferey);鲁帕克·马朱姆达尔
相关软件: 病灶;公主;金刚狼…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

Mx公司

13份文件引用(2000年至2016年)
软件作者: M C尼尔
相关软件: LISREL公司;R;Mplus…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

差异IRT

引用于8份文件(2017–2023)
软件作者: 迪伦·莫勒纳尔(Dylan Molenaar);弗朗西斯·图林克;汉·范德马斯
相关软件: 斯坦;贝叶斯DA;R、 …
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

条形码工具

9份文件引用(2005–2009)
软件作者: 阿尔伯特·奥利弗拉斯;罗伯特·尼文胡斯
相关软件: SMT-LIB;z3;迷你卫星…
主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…

CLP(柔性)

7份文件引用(2007–2021)
软件作者: J.科埃略;M.弗洛里多
相关软件: 定理;Mathematica;验证日志…
主要字段: 数学逻辑与基础(03-XX);特殊功能(33-XX);计算机科学(68-XX)

PyZX公司

5份文件引用(2019–2022)
软件作者: 基辛格,Aleks;约翰·范德韦特林
相关软件: 奎珀;项目Q;Quantomatic…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

西格玛KEE

4份文件引用(2009–2020)
软件作者: 亚当·皮斯(Adam Pease);斯蒂芬·舒尔茨
相关软件: E定理证明;VAMPIRE公司;SRASS…
主要字段: 计算机科学(68-XX)

RDL公司

4份文件引用(2001–2005)
软件作者: 亚历山德罗·阿曼多;卢卡·孔帕尼亚(Luca Compagna);西尔维奥·兰伊斯
相关软件: NQTHM;ACL2;剑桥LCF…
主要字段: 计算机科学(68-XX)

ArchSAT公司

1份文件引用(2020)
软件作者: 纪尧姆·伯里
相关软件: 泽农;TPTP;dedukti…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

InvA公司

引用于2份文件(2014–2020)
软件作者: 卡米洛·罗查;何塞·梅塞盖尔
相关软件: 莫德;PKind;HyComp…
主要字段: 计算机科学(68-XX)

Ons(打开)

引用于2份文件(2018–2022)
软件作者: 戴维·文霍克;约书亚·莫尔曼(Joshua Moerman);朱里安·罗特
相关软件: 洛伊斯;新鲜OCaml;NLambda…
主要字段: 计算机科学(68-XX)

SMCHR公司

引用于2份文件(2012–2018)
软件作者: 格雷戈里·杜克。
相关软件: 小脚;CBMC;SLAyer…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件