Scikit公司 735份文件引用(2011–2024) 软件作者： 费比安·佩德雷戈萨；加尔·瓦罗佐；亚历山大·格兰福特；文森特·米歇尔；贝特朗·蒂里昂；奥利维尔·格里塞尔；马修·布隆德尔；彼得·普雷滕霍弗（Peter Prettenhofer）；罗恩·维斯（Ron Weiss）；文森特·杜伯格（Vincent Dubourg）；Jake Vanderplas；亚历山大·帕索斯；大卫·库纳波（David Cournapeau）；马蒂厄·布鲁彻；马蒂厄·佩罗（Matthieu Perrot）；爱杜华·公爵夫人 相关软件： 蟒蛇；SciPy；TensorFlow… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
工作分解结构 137篇文献引用(2013–2024) 软件作者： 彼得·弗里兹莱维奇 相关软件： R；FDRSeg；变更点… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
规格# 111篇文献引用(2005–2023) 软件作者： 迈克·巴奈特（Mike Barnett）；K.Rustan M.Leino；沃尔夫拉姆·舒尔特 相关软件： JML；ESC/Java；布吉… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
M-MACBETH公司 121篇文献引用(1994–2024) 软件作者： 卡洛斯·巴纳·科斯塔；Jean-Marie De Corte；Jean-Claude Vansnick女士 相关软件： UTA Plus；视觉UTA；电气… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；计算机科学（68-XX）…
CBMC公司 88篇文献引用(2004–2023) 软件作者： Clarke E、Kroening D、Lerda F 相关软件： 爆炸；z3；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
AGG公司 71篇文献引用（1994年-2023年） 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
AMRCLAW公司 76篇文献引用(1997–2023) 软件作者： M.J.Berger、R.J.LeVeque 相关软件： 拉回；帕拉梅什；杰克劳… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SODAS公司 69篇文献引用(1999–2023) 软件作者： 阿兰·莫里诺 相关软件： WordNet；算法39；FactoMineR… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FSIM公司 49篇文献引用(2011–2024) 软件作者： 张，L.，牟，X.，张，D。 相关软件： DnCNN；2013年TID2013；PyTorch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
动物园 15篇文献引用(2008–2020) 软件作者： 阿奇姆·泽利斯；Gabor Grothendieck；杰弗里·A·瑞安；费利克斯·安德鲁斯 相关软件： R；xts；Rcpp… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
RealPaver公司 51篇文献引用（2003年至2017年） 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
状态流 43篇文献引用(1989–2023) 软件作者： MathWorks公司。 相关软件： Simulink；Matlab；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
星形PU 32篇文献引用(2012–2023) 软件作者： C.Augonnet、S.Thibault、R.Namyst、P.-A.Wacrenier 相关软件： CUDA；血浆；OpenCL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
博拉索 36篇文献引用(2010–2023) 软件作者： 弗朗西斯·巴赫 相关软件： R；PDCO；ElemStatLearn… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
迪纳摩 19份文件引用(2011–2023) 软件作者： 迪坎迪亚，G。；哈斯托伦，D。；詹帕尼，M。；Kakulapati，G。；拉克希曼，A。；皮尔钦，A。；Sivasubramanian，S。；Vosshall，P。；沃格尔，W。 相关软件： 卡桑德拉；和弦；Bigtable… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
N向工具箱 31份文件引用(2003–2022) 软件作者： Andersson，C.A。；R.兄弟。 相关软件： 张量工具箱；Matlab；算法862… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
快速拉伸 31份文件引用(2008–2022) 软件作者： 容克，美国。 相关软件： MiniSat；PicoSAT；葡萄糖… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
完整的 18篇文献引用（2006年至2021年） 软件作者： Hermjakob H、Montecchi-Palazzi L、Lewington C等人 相关软件： 细胞景观；生物网格；KEGG… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；统计学（62-XX）…
PHYSALIS公司 31份文件引用(2001–2022) 软件作者： 黄华雄；高木，舒 相关软件： 变形杆菌；CMPGRD；BiCGstab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
美国铝业公司 22篇文献引用(2000–2023) 软件作者： Jackson，D。；谢赫特，I。；我·什利亚克特。 相关软件： 合金；自旋蛋白；箔条… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
图形实验室 24篇文献引用(2010–2022) 软件作者： Yucheng Low、Joseph E.Gonzalez、Aapo Kyrola、Danny Bickson、Carlos E.Guestrin和Joseph Hellerstein 相关软件： 普雷格尔；MapReduce；Apache Spark… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
VASP公司 16篇文献引用(2004–2023) 软件作者： 于尔根·哈夫纳；乔治·克雷塞（Georg Kresse）；多丽丝·沃滕豪伯（Doris Vogtenhuber）；马蒂恩·马斯曼 相关软件： 量子浓缩咖啡；WIEN2k；Python… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SBA公司 23篇文献引用(2007–2022) 软件作者： Manolis I.A.Lourakis；安东尼斯·阿吉罗斯（Antonis A.Argyros） 相关软件： SIFT；MonoSLAM；PCA-SIFT… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
考德 23篇文献引用(2018–2023) 软件作者： Lanese，I.、Nishida，N.、Palacios，A.、Vidal，G。 相关软件： 埃尔朗；GitHub；铲刀… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
CheFSI公司 21篇文献引用(2014–2024) 软件作者： 周云凯；詹姆斯·切利科夫斯基（James R.Chelikowsky）。；优素福·萨阿德 相关软件： ABINIT公司；lobpcg.m；ARPACK… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；光学、电磁理论（78-XX）…
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·迪维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
探针Cons 10篇文献引用(2008–2021) 软件作者： Chuong B.Do；Mahathi S.P.Mahabhashyam；迈克尔·布鲁德诺；塞拉菲姆·巴佐格鲁 相关软件： 肌肉；MAFFT；ClustalW… 主要字段： 历史与传记（01-XX）；统计学（62-XX）；计算机科学（68-XX）…
DCVALID公司 16篇文献引用(2001–2022) 软件作者： P.潘迪亚 相关软件： MONA；IDLVALID；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
系统动力学 13份文件引用(2002–2017) 软件作者： Ventana系统公司 相关软件： DYNAMO公司；MINITAB公司；Python… 主要字段： 数学逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
PBLib（公共图书馆） 15篇文献引用(2007–2023) 软件作者： 菲利普，托比亚斯；彼得·斯坦克 相关软件： 弯曲；MiniSat；玲玲… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
DEX公司 12份文件引用(1995–2023) 软件作者： 博哈内克M 相关软件： proDEX；提示；DEXi… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
修复匹配 在11份文件中引用(2021–2023) 软件作者： Kihyuk Sohn、David Berthelot、Chun-Liang Li、Zizhao Zhang、Nicholas Carlini、Ekin D.Cubuk、Alex Kurakin、Han Zhang和Colin Raffel 相关软件： ReMixMatch；MixMatch；CIFAR… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；统计学（62-XX）…
CRKSPH公司 13份文件引用(2017–2022) 软件作者： 尼古拉斯·弗伦蒂尔（Nicholas Frontiere）、科迪·拉斯金（Cody D.Raskin）、迈克尔·欧文（J.Michael Owen） 相关软件： NDSPMHD；树；GADGET… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
HOL零 12份文件引用(2014–2023) 软件作者： 马克·亚当斯 相关软件： Isabelle/HOL；HOL灯；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；凸和离散几何（52-XX）…
检查VML 8份文件引用(2004–2019) 软件作者： 阿尔科斯·施密特（Dániel Varró） 相关软件： 自旋蛋白；沟槽；茂物… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
结束语 12份文件引用(1993–2016) 软件作者： Waldemar W.Koczkodaj公司 相关软件： – 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ECDAR公司 9份文件引用(2011–2022) 软件作者： 亚历山大·戴维；金·拉森。G。；Legay，Axel；乌尔里克·奈曼；安德烈·索夫斯基 相关软件： Uppaal；MIO工作台；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
evmix公司 8份文件引用(2016–2023) 软件作者： 卡尔·斯卡罗特，杨虎，坎特伯雷大学 相关软件： R；伊斯梅夫；evir… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
埃斯根 9份文件引用(2020–2023) 软件作者： 王新涛、柯瑜、吴世祥、顾金进、刘一浩、赵东、陈昌洛伊、于乔、汤晓鸥 相关软件： 亚当；TensorFlow；像素x像素… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
HOL-Z公司 5份文件引用(2005–2011) 软件作者： David Basin；库鲁马、平野武；Kazuo Takaragi；沃尔夫，伯克哈特 相关软件： Z；HOL；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
IsoRankN公司 10篇文献引用(2012–2021) 软件作者： 廖忠寿、卢康浩、Michael Baym、Rohit Singh、Bonnie Berger 相关软件： IsoRank；幽灵；娜塔莉… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
辛迪JS 9份文件引用(2016–2021) 软件作者： 马丁·冯·加格恩；乌尔里奇·科滕坎普；里希特·盖伯特（Jürgen Richter-Gebert）；迈克尔·斯特罗贝尔 相关软件： 灰姑娘；GeoGebra；CindyGL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）…
CyCADA公司 8份文件引用(2020–2023) 软件作者： 朱迪·霍夫曼（Judy Hoffman）、埃里克·曾荫权（Eric Tzeng）、大兴公园（Taesung Park）、朱俊彦（Jun-Yan Zhu）、菲利普·伊索拉（Phillip Isola）、凯特·桑科（Kate Saenko）、阿列克谢·埃夫罗斯（Alexei A.E 相关软件： AlexNet；ImageNet；CycleGAN… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
MASTRO公司 8份文件引用(2018–2021) 软件作者： Calvanee，D.等人。 相关软件： Ontop；SPARQL；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TDDS公司 10篇文献引用(2019–2023) 软件作者： 弗拉基米尔·普·格特（Vladimir P.Gerdt）、马库斯·兰盖·赫格曼（Markus Lange-Hegermann）、丹尼尔·罗伯茨（Daniel Robertz） 相关软件： 差异托马斯；枫树；珍妮特… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；概率论与随机过程（60-XX）…
Verilog公司 9份文件引用(1999–2020) 软件作者： 斯图亚特·萨瑟兰 相关软件： VPI；电源保护；卡米… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
COBRA公司 9份文件引用(2016–2021) 软件作者： 杰拉德·比亚；奥雷利·菲舍尔；本杰明·盖吉；詹姆斯·D·马利。 相关软件： 超级学习者；hgam；XGBoost… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
DYNAMICO公司 9份文件引用(2016–2023) 软件作者： T.Dubos、S.Dubey、M.Tort、R.Mittal、Y.Meurdesoif、F.Hourdin 相关软件： PETSc；冠军；Firedrake… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
FDEM公司 9份文件引用（2002年-2023年） 软件作者： 威利·施诺尔；托尔斯滕·阿道夫 相关软件： 林索尔；GRI-科技3.0；SuperLU-DIST… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
Jinja线程 9份文件引用(2009–2020) 软件作者： Lochbihler，A。 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
MOFLON公司 1份文件引用(2006) 软件作者： Amelunxen，C.、Königs，A.、Rötschke，T.、Schürr 相关软件： 聚四氟乙烯；进度；AGG… 主要字段： 计算机科学（68-XX）
工作分解结构 9份文件引用(2017–2023) 软件作者： Korkas，Karolos K。；彼得·弗里兹莱维奇 相关软件： wbs；早餐；摩西… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
科林 7份文件引用(2012–2022) 软件作者： 科尔斯，A.J。；科尔斯，A.I。；福克斯，M。；龙，D。 相关软件： PDDL；SCIP计划；TensorFlow… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ConArg2公司 8份文件引用(2014–2022) 软件作者： 比斯塔雷利，S。；罗西，F。；F.桑蒂尼。 相关软件： AFRA；MiniSat；邓金… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
电子几何教科书 7份文件引用(2010–2020) 软件作者： 陈晓宇 相关软件： Intergeo；GCLC；GeoGebra… 主要字段： 几何（51-XX）；计算机科学（68-XX）；数学教育（97-XX）
mplp2（英里/平方英寸） 8份文件引用(2014–2022) 软件作者： David Sontag、Do Kook Choe、Yitao Li 相关软件： ToulBar2；萨齐拉；MaxHS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
SCTL-MUS公司 5份文件引用(2001–2006) 软件作者： JoséJ.Pazos Arias。；加西亚·杜克（Jorge García Duque） 相关软件： PVS；SLAM；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TADD公司 8份文件引用(2010–2022) 软件作者： Reininghaus，Jan；Günther，David；英格丽德·霍茨（Ingrid Hotz）；斯特芬·普罗哈斯卡；汉斯·克里斯蒂安·赫格 相关软件： JStatCom；TDA；j孔… 主要字段： 组合数学（05-XX）；代数拓扑（55-XX）；整体分析，流形分析（58-XX）…
晶体管 7份文件引用(2008–2021) 软件作者： Brandbyge，Mads；Mozos，J.L。；Ordejon，P。；杰里米·菲利普·泰勒（Jeremy Philip Taylor）；库尔特·斯托克布罗 相关软件： 夸特；纳米TCAD ViDES；SMEAGOL… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
UMM公司 6篇文献引用(2007–2016) 软件作者： Yang Y、Gopalakrishnan G、Lindstrom G 相关软件： 辅酶q；检查围栏；TSOTool… 主要字段： 计算机科学（68-XX）
VEEGAN公司 7份文件引用(2020–2023) 软件作者： Akash Srivastava、Lazar Valkov、Chris Russell、Michael U.Gutmann、Charles Sutton 相关软件： Wasserstein GAN；亚当；比根… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DiSTM公司 6篇文献引用(2013–2023) 软件作者： C.Kotselidis、M.Ansari、K.Jarvis、M.Lujan、C.Kirkham、I.Watson 相关软件： NOrec；犹太科学图书馆；DudeTM… 主要字段： 计算机科学（68-XX）
面2面 5份文件引用(2021–2023) 软件作者： Justus Thies、Michael Zollhöfer、Marc Stamminger、Christian Theobalt、Matthias Nießner 相关软件： PyTorch；EfficientNet；Inception-v4… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
模糊的 7份文件引用(1985–2017) 软件作者： 托马斯·莱曼；雅克·勒克斯 相关软件： Nuprl；LCF；曼蒂萨… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；动力系统和遍历理论（37-XX）…
PoliMIce公司 7份文件引用(2015–2023) 软件作者： 戈里，G。；佐卡，M。；M.加拉贝利。；Guardone，A。；夸兰塔，G。 相关软件： SU2；LEWICE公司；Gmsh… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
Radyban公司 5份文件引用(2008–2019) 软件作者： S.Montani、L.Portinale、A.Bobbio、C.Codetta-Raiteri 相关软件： 模糊FTA；准备/准备；MOCUS… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
SwAV软件 6篇文献引用(2022–2024) 软件作者： 马蒂尔德·卡隆、伊斯汉·米斯拉、朱利安·迈拉尔、普里亚·戈亚尔、彼得·博亚诺夫斯基、阿尔曼德·朱林 相关软件： SimCLR；ImageNet；PyTorch… 主要字段： 总体主题；藏品（00-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
沙帕尔 6篇文献引用(2016–2023) 软件作者： 莱萨尼，莫森；克里斯蒂安·贝尔（Christian J.Bell）。；亚当·希利帕拉 相关软件： 铁人舰队；威尔第；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
dCAQE公司 6篇文献引用(2019–2022) 软件作者： Tentrup，Leander；马库斯·拉贝。 相关软件： HQPre；iProver；CAQE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
米卡 5份文件引用(2006–2020) 软件作者： 托斯蒂，T。；海斯卡宁，M。；Puska，M。；尼米宁，R。 相关软件： PROPACK公司；EVSL；SIESTA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）…
混合MoGenD 6篇文献引用(2009–2019) 软件作者： 威尔逊·图西勒；伊丽莎白·加斯亚特 相关软件： 结构；R；混音… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
牛顿 5份文件引用（1997年至2013年） 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；劳伦特·米歇尔（Laurent Michel）；F.本哈莫。 相关软件： 太阳神；PASCAL-XSC；COMET… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
所有不同的 4份文件引用(2011–2022) 软件作者： 克里斯蒂安·贝西尔（Christian Bessiere）、尼娜·纳罗季斯卡（Nina Narodytska）、克劳德·盖·坎佩尔（Claude-Guy Quimper）、托比·沃尔什（Toby Walsh） 相关软件： 乔科；算法457；ptsplib… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
卡斯珀 5份文件引用(2014–2018) 软件作者： 戴维·罗塞尔（David Rossell）；阿托里尼，卡米尔·斯蒂芬·奥托；曼纽尔·克罗伊斯；圣奥克尔，杏仁 相关软件： RSEM；顶帽；EBSeq… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
CDOL公司 4份文件引用(1997–2002) 软件作者： 苏珊·厄本（Susan D.Urban）。；卡拉迪姆（Anton P.Karadimce）。；苏珊娜·戴特里希（Suzanne W.Dietrich）。；阿卜杜拉提夫（Abdellatif），陶菲克·本（Taoufik Ben）；Chan，Hon Wai Rene先生 相关软件： – 主要字段： 计算机科学（68-XX）
尽职调查 5份文件引用(1998–2013) 软件作者： K.伯肯 相关软件： 无人值守地面；libGrid；pcl… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DeReS公司 引用于3份文件(2019–2022) 软件作者： Cholewinski，P.、Marek，V.、Truszczynski，M。 相关软件： 数据日志；中国科学院科学院；Clingo… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
ECCO工具包 4份文件引用(1996–2020) 软件作者： PDTec公司 相关软件： NATools；GIZA++；quanteda… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
FCM4DD公司 5份文件引用(2017–2023) 软件作者： Kesemen，O。；特泽尔。；E·奥兹库尔。 相关软件： 移动MF；FGKA；蛛网/3… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）
基因标签 1份文件引用(2008) 软件作者： Tanabe，L。；谢，N。；托姆，L.H。；马顿·W。；W.J.威尔伯。 相关软件： GENIA语料库；引导；OpenDMAP… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GeNN公司 5份文件引用(2018–2020) 软件作者： 雅武兹，E；特纳，J；诺沃特尼，T 相关软件： 神经元；派恩；Python… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
jMAF公司 4份文件引用(2014–2022) 软件作者： Błaszczynski，J。；Greco，S。；马塔拉佐，B。；Słowiáski，R。；塞拉格，M。 相关软件： 4eMka2；LERS；罗塞塔… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
库莫 5份文件引用(1999–2004) 软件作者： 约瑟夫·戈根（Joseph Goguen）、凯·林（Kai Lin）、格里戈·罗苏（Grigore Rosu）、博格丹·瓦林斯基（Bogdan Warinschi） 相关软件： OBJ咖啡馆；团结；OBJ3型 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
M-咖啡 4份文件引用(2014–2020) 软件作者： Wallace IM、O'Sullivan O、Higgins DG等人 相关软件： MAFFT；卡林；肌肉… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；运筹学，数学规划（90-XX）…
MARNA公司 引用于3份文件(2008–2015) 软件作者： 斯文·西伯特；罗尔夫·巴科芬 相关软件： 法国复兴信贷银行；斯特拉尔；ClustalW… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MBSP公司 5份文件引用(2018–2023) 软件作者： Bai，Ray；马来语Ghosh 相关软件： glmnet；贝叶斯DA；spls… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
木乃伊 4份文件引用(2015–2020) 软件作者： 内华达州Grishin Pei J 相关软件： MAFFT；ProbCons；肌肉… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
SYMARMA公司 5份文件引用(2018–2023) 软件作者： 维尼修斯·Q·S·迈尔。；西斯奈罗斯，弗朗西斯科·何塞A。 相关软件： R；vrtest；gamlss.util… 主要字段： 统计学（62-XX）；数值分析（65-XX）
修补程序类型 5份文件引用(2003–2010) 软件作者： Michael Y.莱文。；本杰明·皮尔斯。 相关软件： 毫升；OCaml；Ott… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TSO工具 5份文件引用(2008–2021) 软件作者： 机库S、Vahia D、Manovit C、Lu J-YJ、Narayanan S 相关软件： UMM；辅酶q；TSL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
产量 5份文件引用(2007–2021) 软件作者： 瓦法卡鲁伊；Marie-JoséHuguet；皮埃尔·洛佩兹（Pierre Lopez）；Wady Naanaa 相关软件： 自由裁量权；帝国；CPLEX… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…