切布芬 519份文件引用(2004–2024) 软件作者: Chebfun团队;A Driscoll、N.Hale、L.N.Trefehen 相关软件: Matlab;DLMF;切布冯2… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);偏微分方程(35-XX)…
NQTHM公司 149份文件引用(1979–2022) 软件作者: 罗伯特·博伊尔(Robert S.Boyer)。;J.Strother摩尔 相关软件: HOL;ACL2;PVS… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);群论与推广(20-XX)…
RcppArmadillo公司 70篇文献引用(2012–2023) 软件作者: 罗曼·弗朗索瓦(Romain Francois)、德克·埃德布特尔(Dirk Eddelbuettel)、道格·贝茨(Doug Bates) 相关软件: R;Rcpp;犰狳… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
达夫尼 104篇文献引用(2010–2024) 软件作者: 鲁斯坦·莱诺 相关软件: z3;Why3;布吉… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
VeriFast公司 75篇文献引用(2009–2023) 软件作者: 巴特·雅各布斯;Jan Smans;弗兰克·皮森斯 相关软件: 达夫尼;布吉;z3… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
Nitpick公司 78篇文献引用(1999–2023) 软件作者: Jasmin Christian布兰切特;托比亚斯·尼普科 相关软件: Isabelle/HOL;大锤;伊莎贝尔… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…
利比亚中央银行 60篇文献引用(2009–2023) 软件作者: 查查特,B 相关软件: 安提戈内;BARON公司;MC++… 主要字段: 常微分方程(34-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
dSPIN公司 22篇文献引用(2000–2014) 软件作者: Demartini,C.,Iosif,R.,Sisto,R。 相关软件: 自旋蛋白;班德拉;Java PathFinder… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
ISTL公司 25篇文献引用(2007–2021) 软件作者: M.Blatt;P.巴斯蒂安 相关软件: DUNE;DuMuX;Gmsh… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
HipSpec(髋关节规范) 23篇文献引用(2013年-2023年) 软件作者: 科恩·克莱森;穆阿·约翰逊(Moa Johansson);丹·罗斯恩;尼古拉斯·斯莫尔博内 相关软件: IsaCoSy公司;VAMPIRE公司;CVC4… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MEXX公司 19份文件引用(1995–2019) 软件作者: 克里斯蒂安·卢比奇;乌尔里希·诺瓦克(Ulrich Nowak);乌维·普勒;克里斯蒂安·恩斯特勒 相关软件: 罗德斯;DASSL;MBSPACK… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
快速GCN 18篇文献引用(2020–2023) 软件作者: 陈杰、马腾飞、曹晓 相关软件: DeepWalk;亚当;PyTorch… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
MC公司++ 在14份文件中引用(2012–2023) 软件作者: 查查特,B。 相关软件: libMC;安提戈内;BARON… 主要字段: 实函数(26-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
TIL公司 12份文件引用(1997–2022) 软件作者: 戴维·塔迪蒂(David Tarditi);克里斯·斯通(Chris Stone);格雷格·莫里塞特(Greg Morrisett);罗伯特·哈珀;佩里·程 相关软件: TALX6;哈斯克尔;ML… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
芝诺牌手表 在14份文件中引用(2012–2022) 软件作者: William Sonnex;索菲亚·德罗索波卢;苏珊·艾森巴赫 相关软件: HipSpec;SMT-LIB;CVC4… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
里昂 12份文件引用(2014–2022) 软件作者: 雷吉斯·布兰科;维克多·昆卡(Viktor Kuncak);艾蒂安·克劳斯;菲利普·苏特 相关软件: CVC4;达夫尼;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
FFA库 11份文件引用(2003–2020) 软件作者: I.Tsukanov,M.霍尔 相关软件: 数学;E3SM;DiffSharp… 主要字段: 近似和展开(41-XX);数值分析(65-XX);变形固体力学(74-XX)…
加拉蒙 引用于9份文件(2019年-2023年) 软件作者: 圣菲省布雷伊斯;文森特·诺齐克;福斯,劳伦特 相关软件: ganja.js;github;Clifford Multivector工具箱… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);几何(51-XX)…
AURA公司 10篇文献引用(2008–2016) 软件作者: 贾利民;杰弗里·沃恩(Jeffrey A.Vaughan)。;Karl Mazurak;赵建洲;卢克·扎尔科;约瑟夫·肖尔(Joseph Schorr);史蒂夫·兹丹切维奇 相关软件: Coq;F*;Agda… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
CoCaml公司 引用于9份文件(2017–2023) 软件作者: Jeannin,Jean-Baptiste;德克斯特·科赞;亚历山大·席尔瓦 相关软件: CoALP;coFJ;Paco… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
doRNG公司 4份文件引用(2017–2022) 软件作者: 雷诺·高茹(Renaud Gaujoux) 相关软件: foreach;do并行;R、 … 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)
液化哈斯克尔 8份文件引用(2014–2023) 软件作者: 尼基·瓦祖;埃里克·塞德尔。;Jhala,Ranjit;Vytiniotis,Dimitrios;西蒙·佩顿·琼斯 相关软件: 哈斯克尔;z3;垫片… 主要字段: 计算机科学(68-XX)
SMCP公司 8份文件引用(2010–2023) 软件作者: Andersen,Martin S。;约阿希姆·达尔;利文·范登伯格 相关软件: 塞杜米;YALMIP;SDPLIB… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
PREVAIL公司 5份文件引用(1992–2014) 软件作者: 多米尼克·博里奥内;劳伦斯·皮埃尔;阿什拉夫·塞勒姆 相关软件: Nuprl公司;辅酶MTU;Coquet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
IsaFoR公司 4份文件引用(2011–2016) 软件作者: 亚历山大·克劳斯;斯特纳格尔,克里斯蒂安;雷内·蒂曼;福斯、卡斯滕;吉尔根·吉斯尔 相关软件: Isabelle/HOL;CeTA;CoLoR… 主要字段: 计算机科学(68-XX)
PRECiSA公司 6篇文献引用(2018–2022) 软件作者: 蒂托洛,劳拉;马可·A·费利乌。;玛丽亚诺·莫斯卡托;塞萨尔·穆尼奥斯。 相关软件: RangeLab;z3;ASTREE… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
SMEAGOL公司 3份文件引用(2008–2009) 软件作者: A.R.Rocha、V.M.GarcíA-Suárez、S.Bailey、C.Lambert、J.Ferrer、S.Sanvito 相关软件: 蟒蛇;宽特;数字标识… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);光学、电磁理论(78-XX)…
DLV综合体 3份文件引用(2008–2009) 软件作者: 弗朗西斯科·卡利默里;苏珊娜·科萨;Giovambattista Ianni;尼古拉·莱昂内 相关软件: DLV-EX;OntoDLV;CiaoPP… 主要字段: 计算机科学(68-XX)
高性能sr 5份文件引用(2004–2016) 软件作者: T.M.费尔。;H.H.H.霍米埃。 相关软件: 数学;枫树 主要字段: 序列、级数、可加性(40-XX);近似和展开(41-XX);数值分析(65-XX)…
伊曼德拉 5份文件引用(2020–2022) 软件作者: 格兰特·奥尼·帕斯莫尔(Grant Olney Passmore)、西蒙·克鲁恩斯(Simon Cruanes)、丹尼斯·伊格纳托维奇(Denis Ignatovich)、戴夫·艾特肯(Dave Aitken)、马特·布雷(Matt Bray 相关软件: VAMPIRE公司;SMT-LIB;芝诺… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RComp公司 5份文件引用(1995–2015) 软件作者: 伊斯坦·尼姆;马尔科·佩特科夫舍克 相关软件: 依赖关系;数学;JAMPACK… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX)…
ROBDD公司 5份文件引用(1992–2003) 软件作者: Brace,K.S。;伦德尔,R.L。;R.E.布莱恩特。 相关软件: NQTHM公司 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
安全壳 5份文件引用(2000–2007) 软件作者: 阿兰·迈克罗夫特(Alan Mycroft);理查德·夏普 相关软件: Handel-C;系统C;Cayenne… 主要字段: 计算机科学(68-XX)
Groebner_Bases公司 4份文件引用(2017–2019) 软件作者: 费比安·伊姆勒;亚历山大·马列茨基 相关软件: 多项式;Isabelle/HOL;深入学习(_L)… 主要字段: 交换代数(13-XX);计算机科学(68-XX)
努恰库 4份文件引用(2016–2022) 软件作者: 安德鲁·雷诺兹(Andrew Reynolds);Jasmin Christian布兰切特;西蒙·克鲁恩斯(Simon Cruanes);塞萨尔·蒂内利 相关软件: CVC4;z3;Nitpick… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
RADA公司 4份文件引用(2015–2018) 软件作者: Pham,T.,Whalen,M.W。 相关软件: CVC4;z3;大锤… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
算法894 3份文件引用(2009–2011) 软件作者: 科卡里,S。 相关软件: mctoolbox;MATLAB实验;xLACON… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);数值分析(65-XX)
部分DSA 3份文件引用(2012–2019) 软件作者: 凯伦·洛斯特里托;罗伯特·斯特劳德曼(Robert L.Strawderman)。;安妮特·莫利纳罗(Annette M.Molinaro)。 相关软件: 随机生存森林;聚会;randomForest… 主要字段: 统计学(62-XX)
TS公司# 2份文件引用(2014–2017) 软件作者: 尼基尔·斯瓦米;Fornet,塞德里克;拉斯托吉(Aseem Rastogi);Bhargavan,Karthikeyan;陈娟;支柱,Pierre-Yves;加文·比尔曼 相关软件: JavaScript;ProVerify;网址(Ur/Web)… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
算法848 2份文件引用(2005–2011) 软件作者: 斯宾塞·D·谢尔曼。;西科尔斯基,K。 相关软件: BEDFix;minpack;TENSOLVE公司 主要字段: 算子理论(47-XX);数值分析(65-XX)
美国财务会计准则 2份文件引用(1998–1999) 软件作者: 拉尔夫·埃布纳(Ralf Ebner);亚历山大·法芬格 相关软件: 哈斯克尔 主要字段: 数值分析(65-XX);计算机科学(68-XX)
幽灵克星 2份文件引用(2016年至2019年) 软件作者: 特雷弗·L·麦克唐纳。;Timothy A.K.Zakian。;Cimini,Matteo公司;Ryan R.牛顿。 相关软件: 举起;转让;立方体… 主要字段: 计算机科学(68-XX)
瓜多尔 1份文件引用(2016) 软件作者: 大卫·哈丁;康拉德·斯林德(Konrad Slind);迈克尔·惠伦(Michael Whalen);团结Pham 相关软件: OpenSMT;MoCHi公司;RADA… 主要字段: 计算机科学(68-XX)
斜置RSF 1份文件引用(2019) 软件作者: 拜伦·C·杰格。;Long,D.Leann;Long,Dustin M。;马里奥·西姆斯;Jeff M.Szychowski。;Min,Yuan-I;Leslie A.McClure。;乔治·霍华德;诺亚·西蒙 相关软件: 倾斜RF;聚会;randomForestSRC… 主要字段: 统计学(62-XX)
SociaLite公司 1份文件引用(2022) 软件作者: Jiwon Seo;Stephen Guo;莫妮卡·S·林 相关软件: 普雷格尔;大数据日志;Naiad… 主要字段: 计算机科学(68-XX)
乏味的 在0个文档中引用 软件作者: 德克·埃德布特尔、卡尔·波提格、塞巴斯蒂安·吉布、科林·吉莱斯皮、扬·戈雷基、马特·琼斯、托马斯·利珀、史蒂文·帕夫、扬·舒尔茨 相关软件: R;詹金斯;纸箱… 主要字段: –
HR-SQL公司 1份文件引用(2020年) 软件作者: 苏珊娜·尼娃;费尔南多·Sáenz-Pérez;桑切斯·埃尔南德斯,詹姆 相关软件: 酸;甲骨文;伊西查尔 主要字段: 计算机科学(68-XX)
备忘录 1份文件引用(2018) 软件作者: Simon Wimmer、Shuwei Hu、Tobias Nipkow 相关软件: 验证此;Isabelle/HOL;Coq公司 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
qfratio公司 1份文件引用(2023) 软件作者: 渡边淳弥 相关软件: RcppEigen;EvolQG;HypergeoMat… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)
斯特拉塔洛 在0个文档中引用 软件作者: 沃伊西奇·沃伊西亚克(Wojciech Wojciak)、杰克·韦索洛夫斯基(Jacek Wesolowski)、罗伯特·威卓科夫斯基(Robert Wieczorkowski) 相关软件: 微基准;分层;采样地层… 主要字段: –
TridiagLU公司 1份文件引用(2015) 软件作者: Debojyoti Ghosh 相关软件: ScaLAPACK;HyPar;斯派克 主要字段: 数值分析(65-XX);流体力学(76-XX)