Protege公司 在28份文件中引用(1997–2022) 软件作者： 斯坦福大学；J.H.Gennari、M.A.Musen、R.W.Fergerson等人。 相关软件： 颗粒；赛车手；耶拿… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
弗里尔 38篇文献引用(1987–2022) 软件作者： 鲍德温，J.F。；马丁·T·P。；B.W.皮尔斯沃思。 相关软件： Likelog；FPROLOG；XPath… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
ITSM2000标准 36篇文献引用(2016–2023) 软件作者： 彼得·布罗克韦尔（Peter J.Brockwell）。；理查德·戴维斯（Richard A.Davis）。 相关软件： 其mr；astsa；tscount… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
MCK公司 34份文件引用(2004–2023) 软件作者： 罗恩·范德梅登；彼得·甘米（Peter Gammie）；Kai Baukus；杰里米·李；程洛；黄晓伟 相关软件： MCMAS；VerICS；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
千平方米 引用于16份文件(1996–2019) 软件作者： 蒂姆·菲宁（Tim Finin）、理查德·弗里茨森（Richard Fritzson）、唐纳德·普·麦凯（Donald P McKay）、罗宾·麦康蒂尔（Robin McEntire） 相关软件： 神童；Globus工具包；Qu-Prolog… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BoTorch公司 23篇文献引用(2021–2024) 软件作者： 马克西米利安·巴兰达（Maximilian Balandat）、布莱恩·卡勒（Brian Karrer）、丹尼尔·江泽民（Daniel R.Jiang）、塞缪尔·道尔顿（Samuel Daulton）、本杰明·莱瑟姆（Benjamin Letham）、安德鲁·戈登·威尔 相关软件： PyTorch公司；青蒿；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FDLIB公司 14篇文献引用(2001–2019) 软件作者： C.波兹里基迪斯。 相关软件： Matlab公司 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；流体力学（76-XX）…
虎鲸 11份文件引用(2016–2023) 软件作者： P.A.Gutiérrez、M.Pérez-Ortiz、J.Sánchez-Monedero、F.Fernández-Navarro和C.HerváS-Martínez 相关软件： KEEL；均方根；ordinalClust… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
梦想 11份文件引用(2018–2023) 软件作者： J·A·弗鲁特 相关软件： 坚果；辉光；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
打开以编辑 8份文件引用(2002–2006) 软件作者： 当然，约克；Michael Erdmann；于尔根，安吉尔；斯特芬·斯塔布；鲁迪·施图德（Rudi Studer）；德克·温克 相关软件： 石油教育；蛋白质；WebODE… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
jCOLIBRI公司 引用于3份文件(2005–2014) 软件作者： Juan JoséBello-Tomás、Pedro A.González-Calero、Belén Díaz-Agudo 相关软件： 西拉默；BacSim；神经元… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
宙斯 7份文件引用(2002–2011) 软件作者： 风信子S.Nwana；Divine T.Ndumu；林登·C·李；杰伦·C·科利斯 相关软件： INGENIAS公司 主要字段： 统计学（62-XX）；计算机科学（68-XX）；地球物理学（86-XX）…
纳罗米 6篇文献引用(2014–2019) 软件作者： 张，X。；刘凯。；刘振鹏。；Duval，B。；Richer，J.M。；赵，X.M。；Hao，J.K。；陈，L。 相关软件： BENEDICT公司；TETRAD公司；pcalg… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ProMoT项目 5份文件引用(2000–2021) 软件作者： F Tránkle、M Zeitz、M Ginkel；罗兰·沃施勒（Roland Waschler）；安吉莱斯·帕拉西奥斯（Angeles-Palacios），奥登（Odon）；马丁·金克尔（Martin Ginkel）；阿希姆·基恩勒 相关软件： 塔巴斯科；lpSolve；日晷… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；偏微分方程（35-XX）…
安倍硫磷 引用于3份文件(1998–2010) 软件作者： Lowry，M.R.，Philpot，A.，Pressburger，T.，Underwood，I 相关软件： 火花；蛤；牡蛎… 主要字段： 计算机科学（68-XX）
利比亚银行 5份文件引用(2016–2018) 软件作者： 彼得·米尔斯 相关软件： PRMLT；SPOT；iACP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
LogiKEy公司 5份文件引用(2020–2022) 软件作者： Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件： Isabelle/HOL；Nitpick公司；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SigmaKEE公司 4份文件引用(2009–2020) 软件作者： 亚当·皮斯（Adam Pease）；斯蒂芬·舒尔茨 相关软件： E定理证明器；VAMPIRE公司；SRASS… 主要字段： 计算机科学（68-XX）
深度VS 引用于3份文件(2018–2019) 软件作者： 贾纳娜·克鲁斯·佩雷拉（Janana Cruz Pereira）、埃内斯托·劳尔·卡法雷纳（Ernesto Raul Caffarena）、西塞罗·多斯桑托斯（Cicero dos Santos） 相关软件： AutoDock；NNScore；AutoDock Vina… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
兰多 2份文件引用(2022–2023) 软件作者： 彼得·巴杜（Peter J.Baddoo）。；本杰明·赫尔曼（Benjamin Herrmann）；Beverley J.McKeon。；史蒂文·布鲁顿。 相关软件： 切布冯；DeepONet；Matlab… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
numecolR公司 引用于3份文件(2011–2022) 软件作者： 丹尼尔·博尔卡德（Daniel Borcard）；弗朗索瓦·吉列；皮埃尔·勒让德 相关软件： sedaR；猿；素食主义者… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
网络代码 4份文件引用（2002年至2008年） 软件作者： 科乔，奥斯卡尔；Fernández-López，玛丽亚诺作者简介；戈梅斯·佩雷斯，亚松森；奥斯卡·文森特 相关软件： 蛋白质；OntoEdit；OilEd… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
ICOT公司 2份文件引用(1998–2002) 软件作者： Yang，Hyung Jeong；Yang，Jae Dong；金永浩（Kim，Yeongho） 相关软件： – 主要字段： 计算机科学（68-XX）
CORONET-火车 2份文件引用(2001) 软件作者： 迪特马尔·普法尔；Niniek Angkasaputra；不同，克里斯蒂安；格恩瑟·鲁赫 相关软件： – 主要字段： 计算机科学（68-XX）
深度睡眠网 在0个文档中引用 软件作者： 阿卡拉·苏普拉塔克（Akara Supratak）、郝东（Hao Dong）、吴超（Chao Wu）、郭一科（Yike Guo） 相关软件： TensorFlow；CNTK；咖啡… 主要字段： –
DNSlab公司 2份文件引用(2016–2022) 软件作者： Vuorinen，V。；Keskinen，K。 相关软件： AEflow；MCTDH；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
EC-BLAST公司 1份文件引用（2023年） 软件作者： Rahman，S.A.、Cuesta，S.M.、Furnham，N.、Holliday，G.L.、Thornton，J.M。 相关软件： github；GraphCanon；nauty… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
JuSFEM公司 2份文件引用(2021) 软件作者： 霍，泽南；梅刚；徐能雄 相关软件： Modelica；Plotlyjs.jl；Writevtk.jl… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
列克西格拉姆 2份文件引用(1992–2001) 软件作者： 迪克，西蒙；威廉·梅伊斯（Willem Meijs）；派克·沃森 相关软件： 莫库姆；中医药；WordNet++… 主要字段： 计算机科学（68-XX）
电梯 1份文件引用(2010) 软件作者： Dos Santos Brito，K。；加西亚，V.C。；De Almeida，E.S。；德莱莫斯·梅拉（De Lemos Meira），S.R。 相关软件： 里吉；SQuAVisiT；再见… 主要字段： 计算机科学（68-XX）
灯塔 1份文件引用(2016) 软件作者： B.Norris、S.-L.Bernstein、R.Nair、E.Jessup 相关软件： 优化软件的决策树；Django；拉帕克… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
马蒂尔达 2份文件引用（2006年至2007年） 软件作者： Boneh，T。；A.E.尼科尔森。；Sonenberg，E.A.公司。 相关软件： – 主要字段： 实函数（26-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
新加坡 1份文件引用(2003) 软件作者： Simóes-Marques，Mário J。；费尔南多·豪尔赫·皮雷斯 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；运筹学、数学规划（90-XX）
JuliaBook统计 2份文件引用(2021–2022) 软件作者： Nazarathy，Yoni；海登·克鲁克 相关软件： 朱莉娅 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）
VMQL（VMQL） 2份文件引用(2016–2018) 软件作者： 阿克雷托艾（Acretoaie，V.）、斯特尔（Störrle）、H 相关软件： RuleMerger；GGL；gSpan… 主要字段： 计算机科学（68-XX）
BanditFuzz乐队 1份文件引用(2022) 软件作者： 斯科特·J。；Sudula，T。；Rehman，H。；莫拉·F。；加内什，V。；Huisman，M。；帕斯勒诺，C。；詹，N。 相关软件： 依兰CoP；VAMPIRE公司；化身… 主要字段： 计算机科学（68-XX）
捷运局 在0个文档中引用 软件作者： Versley，Y.、Ponzetto，S.、Poesio，M.、Eidelman，V.、Jern，A.、Smith，J.、Yang，X.、Moschitti，A。 相关软件： – 主要字段： –
BPX公司 1份文件引用(2015) 软件作者： Paul Stremel、Michael Mendenhall、Martin Hegedus、Nielsen Engineering&Research公司 相关软件： FLUENT公司；ANSYS有限元分析软件 主要字段： 数值分析（65-XX）；流体力学（76-XX）
ddfs三维 1份文件引用(2021) 软件作者： Wong，Louis Ngai Yuen；崔欣 相关软件： – 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
深度HiTS 在0个文档中引用 软件作者： Guillermo Cabrera Vives、Ignacio Reyes、Francisco Förster、Pablo A.Estévez、Juan Carlos Maureira 相关软件： SExtractor；FRBID公司；亚当… 主要字段： –
GENPAD公司 在0个文档中引用 软件作者： McGuire N、Madley S、Sevrence S、Kostrzewa J、Bilk J、Gourd D、Thyagarajan R 相关软件： 任何人 主要字段： –
JUGE公司 在0个文档中引用 软件作者： 泽维尔·德夫罗伊（Xavier Devroey）、阿莱西奥·甘比（Alessio Gambi）、胡安·巴勃罗·加莱奥蒂（Juan Pablo Galeotti）、勒内·贾斯特（Rene Just）、菲苏姆·基费图（Fitsum Kifetew）、安妮贝尔·帕尼切拉（An 相关软件： EvoSuite；JUnit公司；缺陷4J… 主要字段： –
MIDI2vec公司 在0个文档中引用 软件作者： Lisena P.、Meroño-Peñuela A.、Troncy R。 相关软件： MuseScore；音乐；jSymbolic… 主要字段： –
PREMER公司 1份文件引用(2017) 软件作者： A.F.维拉弗德。；贝克尔，K。；J.R.班加。 相关软件： GeneNetWeaver；hiPathDB；DREAMTools… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
皮卡莱 在0个文档中引用 软件作者： 陆海平、刘显元、罗伯特·特纳、白培珍、雷沃·E·库特、朔周、穆斯塔法·查斯迈、劳伦斯·肖布斯 相关软件： ImageNet；火炬；TensorLy… 主要字段： –
ZDC公司 1份文件引用(2007) 软件作者： Edward Tsang；约翰·福特；米尔斯，帕特里克；理查德·布拉德威尔（Richard Bradwell）；理查德·威廉姆斯；保罗·斯科特 相关软件： DiSCiPl；木槿；Excel… 主要字段： 运筹学、数学规划（90-XX）