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