费雷特 147篇文献引用(2001–2023) 软件作者： 乔纳森·菲利普斯、哈里·韦克斯勒、杰弗里·黄、帕特里克·劳斯 相关软件： AR面；CMU PIE；耶鲁脸… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
广场广场 201份文件引用(2000–2023) 软件作者： J.F.Bonnans、J.Ch.Gilbert、C.Lemaréchal、C.A.Sagastizábal 相关软件： PLCP；Ipopt；L-BFGS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
MooNMD公司 79份文件引用(2004–2023) 软件作者： 沃尔克·约翰；冈纳·马提斯 相关软件： FEATFLOW；UMFPACK；RODAS… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
豆类 78篇文献引用(2004–2023) 软件作者： 阿洛克·萨特拉达尔；Paulino，Glaucio H。；莱昂纳德·格雷。 相关软件： SERBA；XFEM；ABAQUS… 主要字段： 偏微分方程（35-XX）；积分方程（45-XX）；数值分析（65-XX）…
毛毛虫SSA 61篇文献引用(2001–2022) 软件作者： 北卡罗来纳州Golyandina。；V.V.内克鲁特金。；Zhigljavsky，A.A.公司。 相关软件： 其mr；预测；预测… 主要字段： 统计学（62-XX）；数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
嘉年华 60篇文献引用(2009–2023) 软件作者： 斯米尔诺夫公司。；斯米尔诺夫，V.A。；M.Tentyukov。 相关软件： 火灾；LiteRed；第十二节… 主要字段： 代数几何（14-XX）；特殊功能（33-XX）；数值分析（65-XX）…
教堂 56篇文献引用(2008–2023) 软件作者： Goodman N.、Mansinghka V.K.、Roy D.、Bonawitz K.、Tenenbaum J.B。 相关软件： 博客；IBAL；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）…
配置文件_QP 62篇文献引用(1999–2024) 软件作者： V.Ruggiero、E.Galligani、L.Zanni 相关软件： GPDT；SVM灯；LIBSVM… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
最大SPN 53篇文献引用(1988–2022) 软件作者： 朱奈德·巴巴尔；马可·贝库蒂；苏珊娜·多纳泰利（Susanna Donatelli）；安德鲁·米纳 相关软件： GreatSPN 1.7；TimeNET；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
利比亚中央银行 60篇文献引用(2009–2023) 软件作者： 查查特，B 相关软件： 安提戈内；BARON公司；MAiNGO… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
MCODE公司 49篇文献引用(2005–2023) 软件作者： 巴德，GD；霍格，CWV 相关软件： C索引器；生物网格；细胞景观… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
RSVM公司 51篇文献引用(2004–2023) 软件作者： Yuh-Jye Lee，Olvi L.Mangasarian先生 相关软件： UCI-ml；LIBSVM；Matlab… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
CiaoPP公司 51篇文献引用(1999–2022) 软件作者： Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件： Ciao；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
马塔德 49篇文献引用(2001–2022) 软件作者： 马蒂亚斯·斯坦豪泽 相关软件： 表格；粉碎机；Axodraw… 主要字段： 数论（11-XX）；特殊功能（33-XX）；近似和展开（41-XX）…
12月第二节 42篇文献引用(2011–2024) 软件作者： J.卡特；索菲亚·博罗卡、古德伦·海因里希、斯蒂芬·扬、史蒂芬·琼斯、马蒂亚斯·科纳、约翰内斯·施伦克、汤姆·齐克 相关软件： 雷杜泽；嘉年华；LiteRed… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
算法719 41篇文献引用(1993–2017) 软件作者： D.H.贝利。 相关软件： 算法693；Mathematica；mctoolbox… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
伊德里斯 40篇文献引用(2011–2023) 软件作者： 埃德温·布雷迪 相关软件： Coq；阿格达；Irdis… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
短信 38篇文献引用(1997–2023) 软件作者： 乔·科勒克 相关软件： Mathematica；AceFEM；AceGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
pySecDec公司 33篇文献引用(2017–2023) 软件作者： S.Borowka、G.Heinrich、S.Jahn、S.P.Jones、M.Kerner、J.Schlenk、T.Zirke 相关软件： LiteRed；嘉年华；Reduze… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
应用程序空间 34份文件引用(2004–2023) 软件作者： Genetha A.Gray；塔马拉·科尔达 相关软件： NEWUOA公司；NOMAD公司；切割机… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NESTOR公司 引用于27份文件(1985–2017) 软件作者： G.F.库珀。 相关软件： TETRAD公司；几何导师；DENDRAL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
MRST-AD公司 引用于27份文件(2016–2024) 软件作者： Krogstad，S.、Lie，K.-A.、Möyner，O.、Nilsen，H.M.、Raynaud，X.、Skaflestad，B 相关软件： MRST；Matlab；MRST-co2lab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
Irdis公司 26篇文献引用(2011–2023) 软件作者： – 相关软件： 伊德里斯；Coq；Agda… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
戴安娜 23篇文献引用(2000–2022) 软件作者： Tentyukov，M。；弗莱舍，J。 相关软件： 表格；FeynArts；敏瑟… 主要字段： 代数几何（14-XX）；偏微分方程（35-XX）；近似和扩展（41-XX）…
戈勒姆95 25篇文献引用(2009–2020) 软件作者： T.Binoth，J.-Guillet博士，G.Heinrich，E.Pilon，T.Reiter 相关软件： CutTools；黑帽；SAMURAI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HELAC-1回路 25篇文献引用(2011–2023) 软件作者： G.Bevilacqua、M.Czakon、M.V.Garzelli、A.van Hameren、A.Kardos、C.G.Papadopoulos、R.Pittau和M.Worek 相关软件： CutTools；戈萨姆；黑帽… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；量子理论（81-XX）…
打开AD/F 23篇文献引用(2007–2022) 软件作者： Jean Utke；乌韦·诺曼；Mike Fagan；内森·塔伦特；米歇尔·米尔斯（Michelle Mills），斯特劳特（Strout）；帕特里克·海姆巴赫；克里斯·希尔（Chris Hill）；卡尔·温施 相关软件： 锥体；ADIFR；ADOL-C… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
PCOMP公司 21篇文献引用(1991–2023) 软件作者： 多布曼，M。；Liepelt，M。；希特科夫斯基，K。 相关软件： PDEFIT；易于安装；ADOL-C… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
OneLOop（OneLOop） 20篇文献引用(2010–2023) 软件作者： van Hameren，A。 相关软件： CutTools；HELAC-1回路；SAMURAI… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
底座/弹簧 19份文件引用(1995–2015) 软件作者： 川端康成，Setsuya 相关软件： Mathematica；12月第二节；FormCalc… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）
FIESTA第三届 18篇文献引用(2014–2023) 软件作者： 斯米尔诺夫，A.V。 相关软件： 嘉年华；12月第二节；LiteRed… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·德维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
欧布利格 18篇文献引用(2003–2021) 软件作者： 巴格拉马，J。；Calvetti，D。；莱切尔 相关软件： ARPACK；JDQZ；JDQR… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
NGluon公司 17篇文献引用(2011–2020) 软件作者： Badger，S。；比德曼，B。；尤尔，P。 相关软件： CutTools；黑帽；HELAC-1回路… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
对数 17篇文献引用(1999–2022) 软件作者： Leuschel，M。；Jörgensen，J。 相关软件： ECCE；DPPD；PPL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OmpSs公司 10篇文献引用(2015–2023) 软件作者： Bueno J、Planas J、Duran A、Badia RM、Martorell X、Ayguade E等人。 相关软件： StarPU；强力胶；DLB… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
路透社 12份文件引用(2002–2020) 软件作者： Kurtz S、Choudhuri J、Ohlebusch E、Schleiermacher C、Stoye J、Giegerich R 相关软件： 消音器；拉根；重复遮罩… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
GPU验证 14篇文献引用(2013–2022) 软件作者： 彼得·科林伯恩（Peter Collingbourne）；阿拉斯泰尔·唐纳森。；杰罗·凯特马（Jeroen Ketema）；沙兹·卡迪尔 相关软件： GKLEE；CUDA；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CCSP公司 14篇文献引用(1993–2022) 软件作者： 贝丝·阿罗史密斯；布鲁斯·麦克米林 相关软件： 马戏团；FDR3；Z轴 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
加勒比 14篇文献引用（2004年至2012年） 软件作者： O.Fissoor、I.Gneedig、H.Kirchner 相关软件： 莫德；AProVE；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DEX公司 12份文件引用(1995–2023) 软件作者： 博哈内克M 相关软件： proDEX；提示；DEXi… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
梅林 13份文件引用(1992–2015) 软件作者： 帕帕乔治奥，D.G。；德梅特罗普洛斯，I.N。；I.E.拉加里斯。 相关软件： MCL；PANMIN；托尔敏… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
失忆症 9份文件引用(2007–2023) 软件作者： Halfond W、Orso A 相关软件： 皮克斯；哈斯克尔；PQL… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Butools公司 11份文件引用(2012–2021) 软件作者： L.Bodrog、P.Buchholz、A.Heindl、A.Horváth、G.Horvаth、I.Kolossváry、Z.Németh、P.Reinecke、M.Telek、M.Vécsei 相关软件： HyperStar；J相；PhFit… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
孩子们 11份文件引用(1992–2021) 软件作者： D.R.史密斯 相关软件： 定理；ALISA；TAMPR… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
雷克斯 11份文件引用(2011–2023) 软件作者： 韦恩斯，M。；De Halleux，P。；蒂尔曼，N。 相关软件： MONA；z3；DART… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
TSIL公司 11份文件引用(2006–2022) 软件作者： 史蒂芬·P·马丁（Stephen P.Martin）、大卫·G·罗伯逊（David G.Robertson） 相关软件： FeynArts；萨拉；古巴… 主要字段： 特殊功能（33-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
王牌 10篇文献引用(1991–2022) 软件作者： Le Métayer，D。 相关软件： PURRS；Isabelle/HOL；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
FMM-Yukawa公司 10篇文献引用(2009–2023) 软件作者： 黄敬芳、贾军、张波 相关软件： 正规化工具；2D-WFMM；DLMF… 主要字段： 势能理论（31-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
SuperIso遗迹 8份文件引用(2010–2020) 软件作者： Arbey，A。；F.马哈茂迪。 相关软件： Superiso；柔软；micrOMEGAs… 主要字段： 总体主题；藏品（00-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
ADOL-F公司 10篇文献引用(1996–2018) 软件作者： 德米特里·西里亚耶夫（Dmitri Shiriaev）；安德烈亚斯·格雷万克 相关软件： ADIFR；ADOL-C；ADIC… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
生物-SPICE 8份文件引用(2005–2014) 软件作者： Garvey TD、Lincoln P、Pedersen CJ等人 相关软件： COPASI；生物模型；塔维纳… 主要字段： 历史与传记（01-XX）；数值分析（65-XX）；计算机科学（68-XX）…
博卡逊 9份文件引用(2009–2023) 软件作者： 米歇尔·卡福（Michele Caffo）、亨利克·齐兹（Henryk Czyz）、米查尔·古尼亚（Michal Gunia）、埃托雷·雷米迪（Ettore Remiddi） 相关软件： 雷杜泽；琥珀色；火灾… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
数据日志LITE 9份文件引用(2002–2019) 软件作者： 格奥尔格·戈特洛布；Erich Grädel；赫尔穆特·维思 相关软件： XPath；Ltur；ComputeTW… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
戈勒姆95C 9份文件引用(2011–2020) 软件作者： 卡伦，G。；Guillet，J.博士。；Heinrich，G。；Kleinschmidt，T。；Pilon，E。；Reiter，T。；罗杰斯，M。 相关软件： CutTools；FormCalc；Golem95… 主要字段： 数值分析（65-XX）；量子理论（81-XX）
Lpopt公司 10篇文献引用(2017–2022) 软件作者： Manuel Bichler；迈克尔·莫拉克（Michael Morak）；斯特凡·沃尔特兰 相关软件： 克林戈；格林戈；格拉帕… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
拉卡 10篇文献引用(2001–2021) 软件作者： Fritzsche，S。；Inghoff，T。；Bastug，T。；托马塞利，M。 相关软件： 枫树；新闻稿；COEFANG1… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
TripleK公司 8份文件引用(2021–2023) 软件作者： 亚当·比佐夫斯基 相关软件： LiteRed；Hypexp；软件包X… 主要字段： 复变量的函数（30-XX）；代数拓扑（55-XX）；统计学（62-XX）…
检查DG 引用于7份文件（2020年至2024年） 软件作者： 阿恩特，D。；Fehn，N。；Kanschat，G。；科尔曼，K。；Kronbichler，M。；Munch，P。；墙，W。；J·威特。 相关软件： 交易.ii；PETSc；Nektar++… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；生物学和其他自然科学（92-XX）…
快速GPL 6篇文献引用(2022–2024) 软件作者： 王宇轩、杨利林、周斌 相关软件： handyG；LiteRed；火灾… 主要字段： 特殊功能（33-XX）；计算机科学（68-XX）；量子理论（81-XX）
FlashMeta软件 6篇文献引用(2017–2021) 软件作者： 奥列克桑德·波洛佐夫；苏米特·古尔瓦尼 相关软件： FlashExtract；运输；FlashRelate… 主要字段： 计算机科学（68-XX）
尼日利亚 引用于7份文件(1989–2003) 软件作者： Rao，Srinivasa K。；拉杰斯瓦里，V。；Chiu，Charles B。 相关软件： COEFANG1；NJSUMPAR；NJSUMMATION… 主要字段： 总体主题；藏品（00-XX）；拓扑群，李群（22-XX）；特殊功能（33-XX）…
宣称 8份文件引用(2010–2023) 软件作者： Linda Hung；黄，陈；Shin，Ilgyou；Ho，Gregory S。；Lignères，Vincent L。；艾米丽·卡特（Emily A.Carter）。 相关软件： COMSOL公司；量子浓缩咖啡；CASTEP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
苏贝尔 引用于3份文件(2008–2018) 软件作者： Liu C、Yan X、Fei L、Han J、Midkiff SP 相关软件： VIDA；LIBSVM；阿达布… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
盒 6篇文献引用(2010–2020) 软件作者： Gurfinkel，A.，Chaki，S。 相关软件： 停机坪；不明飞行物；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
电子音量检查 引用于7份文件(2013–2022) 软件作者： 格里戈里·费德尤科维奇；Ondrej Sery；娜塔莎·莎莉吉娜 相关软件： PeRIPLO公司；FunFrog；SymDiff… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
学校芯片 引用于7份文件（1979年至2020年） 软件作者： H.斯特鲁布 相关软件： 表格；FeynCalc；减少… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BARD（酒吧） 6篇文献引用(2011–2022) 软件作者： 迈克尔·奥特曼（Micah Altman）、迈克尔·麦克唐纳（Michael P.McDonald） 相关软件： 公平处理；GerryChain；MIPLIB… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
集群C 6篇文献引用(2004–2013) 软件作者： Mohseni-Zadeh，S。；Brézellec，P。；J.-L.里斯勒。 相关软件： 爆炸；PSI-爆炸；算法457… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
FunFrog公司 5份文件引用(2013–2019) 软件作者： Ondrej Sery；格里戈里·费迪尤科维奇；莎里吉娜，娜塔莎 相关软件： eVolCheck；PeRIPLO公司；OpenSMT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
加卢加 6篇文献引用(1998–2011) 软件作者： 格哈德·舒勒（Gerhard A.Schuler）。；V.字节；A.哲姆丘戈夫 相关软件： GaGaRes；HERWIG 5.1；EKHARA… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；量子理论（81-XX）…
hiCUDA公司 2份文件引用(2013–2015) 软件作者： T.D.Han；T.S.阿卜杜勒拉赫曼 相关软件： CUDA；Fortran DVM；CUDA-lite… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
pMatlab公司 5份文件引用(2008–2021) 软件作者： 布利斯，N.，凯普纳，J。 相关软件： Matlab；MatlabMPI；MultiMATLAB… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
StEAM公司 引用于3份文件(2004–2011) 软件作者： 彼得·莱文（Peter Leven）；蒂尔曼·梅勒；斯特凡·爱德坎普 相关软件： 自旋蛋白；卫星抗体；Zing… 主要字段： 计算机科学（68-XX）
Synth公司 引用于3份文件(2018–2023) 软件作者： 阿尔贝托·阿巴迪；亚历克西斯·戴蒙德；延斯·海穆勒 相关软件： R；ArCo；因果影响… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CVBEM公司 5份文件引用(2010–2014) 软件作者： T.R.院长。；Ii、T.V.赫罗马德卡 相关软件： Mathematica；豆类 主要字段： 数值分析（65-XX）；流体力学（76-XX）
EDPEPPS公司 5份文件引用(1997–2000) 软件作者： 蒂埃里·德莱特；杰马尔·齐默利；乔治·里贝罗·朱斯托（George R.Ribeiro Justo）；资产阶级，朱利安；史蒂芬·温特（Stephen C.Winter）。 相关软件： PVMGraph；Chronos；MPI… 主要字段： 计算机科学（68-XX）
ESyPred3D 4份文件引用(2012–2016) 软件作者： 克里斯托夫·兰伯特（Christophe Lambert）、纳迪亚·莱昂纳德（Nadia Léonard）、泽维尔·德博勒（Xavier De Bolle）、埃里克·德皮耶鲁（Eric Depiereux） 相关软件： 爆炸；EMBOSS；PSI-BLAST… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
弗里尔++ 5份文件引用(2002–2017) 软件作者： 曹天华。；罗西特，J.M。；马丁·T·P。；鲍德温，J.F。 相关软件： Fuzzydl；FRIL；HyPER… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
提示 5份文件引用(1999–2023) 软件作者： 祖潘，布拉泽；博哈内克，马尔科；Janez Demšar；伊万·布拉特科 相关软件： 数据交换；形状；proDEX… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
懒惰的CSeq 4份文件引用(2015–2018) 软件作者： 弗拉基米尔·赫尔特；Le，Hoang M。；丹尼尔·格罗（Daniel Große）；罗尔夫·德雷克斯勒 相关软件： CBMC；Cseq；MU-CSeq… 主要字段： 计算机科学（68-XX）
木乃伊 4份文件引用(2015–2020) 软件作者： 内华达州Grishin Pei J 相关软件： MAFFT；ProbCons；肌肉… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
第3页 5份文件引用(1998–2018) 软件作者： X.Chen、G.R.Harp、Y.Ueda、D.K.Saldin 相关软件： PAD1；PAD2；哲学博士 主要字段： 光学、电磁理论（78-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）
鼠李糖 5份文件引用(2006–2022) 软件作者： R.V.Harlander、M.Steinhauser 相关软件： 表格；费马；BBA_NNLO_HF… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
SAFL公司 5份文件引用(2000–2007) 软件作者： 阿兰·迈克罗夫特（Alan Mycroft）；理查德·夏普 相关软件： Handel-C；系统C；Cayenne… 主要字段： 计算机科学（68-XX）
ABETS公司 4份文件引用(2016–2023) 软件作者： Alpunte，M。；Frechina，F.作者简介；萨皮尼亚，J。；D.巴利斯。 相关软件： 莫德；GLINTS公司；MTT… 主要字段： 计算机科学（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）
DEXi公司 引用于3份文件(2008–2018) 软件作者： 博哈内克M 相关软件： 数据交换；M-MACBETH；proDEX… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
DReX公司 4份文件引用(2015–2022) 软件作者： 拉杰夫·阿鲁尔；Loris D'Antoni；穆昆德·拉戈塔曼 相关软件： 蒙保利；卢斯特；LOLA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
日本皇家空军 引用于3份文件(2022–2024) 软件作者： 阿里·巴奇 相关软件： 赫克；尼莫；朱莉娅… 主要字段： 粒子和系统力学（70-XX）；可变形固体力学（74-XX）；光学、电磁理论（78-XX）…