DUNE公司 204篇文献引用（2006年至2024年） 软件作者： P.Bastian、M.Blatt、A.Dedner、C.Engwer、R.Klöfkorn、R.Kornhuber、M.Ohlberger、O.Sander 相关软件： PDELab；交易.ii；DuMuX… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
AVISPA公司 82份文件引用(2005–2023) 软件作者： 信息社会技术方案下的欧洲共同体（1998-2002年） 相关软件： 卡斯珀；ProVerify；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
iProver（iProver） 引用于67份文件(2008–2023) 软件作者： 康斯坦丁·科洛文 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
GreatSPN公司 53篇文献引用(1988–2022) 软件作者： 朱奈德·巴巴尔；马可·贝库蒂；苏珊娜·多纳泰利（Susanna Donatelli）；安德鲁·米纳 相关软件： GreatSPN 1.7；TimeNET；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LWE环 56篇文献引用(2013–2023) 软件作者： 卢巴什夫斯基，瓦迪姆；克里斯·佩克特（Chris Peikert）；奥德雷格夫 相关软件： NTRU；FHEW；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
交响曲 40篇文献引用（2001年至2022年） 软件作者： Ladányi，拉斯洛；泰德·K·拉尔夫。；Leslie E.jun，Trotter 相关软件： CPLEX；阿巴克斯；MINTO… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
开放-WBO 36篇文献引用(2014–2023) 软件作者： 鲁本·马丁斯（Ruben Martins）；Vasco Manquinho；林奇，因斯 相关软件： 周六4j；QMaxSAT；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
SeaHorn公司 36篇文献引用(2015–2023) 软件作者： Gurfinkel，A.，Kahsai，T.，Komuravelli，A.，Navas，J.A。 相关软件： z3；垫片；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
聪明的_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
垫片 在30份文件中引用(2015–2023) 软件作者： 安维什·科穆拉维利（Anvesh Komuravelli）；阿里·古芬克尔（Arie Gurfinkel）；萨加·查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-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）…
BoTorch公司 23篇文献引用(2021–2024) 软件作者： Maximilian Balandat、Brian Karrer、Daniel R.Jiang、Samuel Daulton、Benjamin Letham、Andrew Gordon Wilson、Eytan Bakshy 相关软件： PyTorch；青蒿；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
犯罪现场调查 23篇文献引用（2011年-2023年） 软件作者： 哈拉尔德·赞克；费尔根豪尔（Felgenhauer），伯特伦（Bertram）；阿尔特·米德尔多普 相关软件： Saigawa公司；CeTA；蒂罗利安… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MT3DMS公司 23篇文献引用(2005–2022) 软件作者： 郑，C.，王，P.P。 相关软件： MODFLOW；MODFLOW-2000；海德鲁… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
光电模拟 9份文件引用(2002–2022) 软件作者： 威廉·H·贝尔。；大卫·G·卡梅隆（David G.Cameron）。；路易吉·卡波扎；Millar，A.Paul；库特·斯托金格（Kurt Stockinger）；弗洛里亚诺·齐尼 相关软件： 网格模拟；Globus工具包；SIMGRID… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MMH（毫米） 20篇文献引用(1997–2022) 软件作者： Shai Halevi；雨果·克劳茨克 相关软件： Poly1305-AES；粮食；McOE… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
魅力 18篇文献引用(2014–2023) 软件作者： Akinyele，J.A.、Garman，C.、Miers，I.、Pagano，M.W.、Rushanan，M.、Green，M.和Rubin，A.D。 相关软件： github；遗迹；PBC图书馆… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
协处理器 12份文件引用(2015–2021) 软件作者： 诺伯特·曼蒂 相关软件： 玲玲；MiniSat；弯曲… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
对夹2 14篇文献引用(2014–2022) 软件作者： 胡斯，霍尔格；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；SMAC；MiniSat… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
利巴夫 12份文件引用(2011–2022) 软件作者： Benedikt Bollig；Joost-Pieter Katoen；卡斯滕·克恩（Carsten Kern）；马丁·勒克；丹尼尔·奈德；大卫·R·皮格登 相关软件： LearnLib；西格玛*；COMICS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
APNN-工具箱 12份文件引用（1999年至2022年） 软件作者： 彼得·巴赫霍尔茨（Peter Buchholz）；马库斯·费舍尔；彼得·坎佩尔；卡斯滕·泰珀 相关软件： 棱镜；政治公众人物协议；LDQBD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
COSMOS/M公司 12份文件引用(1996–2016) 软件作者： 结构研究与分析公司 相关软件： ANSYS；枫树 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；经典热力学，传热（80-XX）…
COSSAN公司 10篇文献引用(1997–2023) 软件作者： G.I.Schuöller，H.J.Pradlwarter 相关软件： COSSAN-X；UQLab；帕特兰… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
DNA 10篇文献引用(2013–2023) 软件作者： Gill，R.、Datta，S.、Datt，S。 相关软件： 玻璃；HdBCS；WGCNA… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
FMI（FMI） 11份文件引用(2014–2022) 软件作者： 马丁·阿诺德；克里斯托夫·克劳；汤姆·席尔茨 相关软件： Modelica；CHOPtrey公司；日晷… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MAVI公司 10篇文献引用(2008–2022) 软件作者： Fraunhofer ITWM，部门图像处理 相关软件： 阿维佐；VGStudio MAX；ITK… 主要字段： 凸和离散几何（52-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
iProver-Eq型 10篇文献引用(2010–2023) 软件作者： Korovin、Konstantin；Sticksel，克里斯托夫 相关软件： iProver；TPTP；达尔文… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
电子数据管理 9份文件引用(2001–2020) 软件作者： 弗兰克·吕贝克 相关软件： 间隙；CPLEX；无斑点… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；群论和推广（20-XX）…
拉赫夫特 9份文件引用(2018–2023) 软件作者： Kafle，B.，Gallagher，J.P.，Morales，J.F。 相关软件： z3；SeaHorn；垫片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RelNN公司 9份文件引用(2020–2023) 软件作者： 塞耶德·梅赫兰·卡泽米（Seyed Mehran Kazemi）、大卫·普尔（David Poole） 相关软件： ProbLog；亚当；DeepProbeLog… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
古巴国防部 8份文件引用(2006–2017) 软件作者： 萨达尔·安尼苏尔·哈克（Sardar Anisol Haque）、辛莉（Xin Li）、法纳姆·曼苏里（Farnam Mansouri）、马克·莫雷诺·马扎（Marc Moreno Maza）、韦潘（Wei Pan）、谢宁（Ning Xie） 相关软件： 枫树；岩浆；正则链… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
三叶芹 6篇文献引用(2014–2018) 软件作者： 西雅各布。 相关软件： 网格DGP；ABF++；CirclePack… 主要字段： 复变量函数（30-XX）；数值分析（65-XX）；计算机科学（68-XX）
CPSNARKs集合 6篇文献引用(2021–2023) 软件作者： Daniel Benarroch；坎帕内利，马特奥；达里奥·菲奥雷；古尔坎，科比；科洛内洛斯，迪米特里斯 相关软件： github；乐高SNARK；vSQL… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
GalSim公司 2份文件引用(2019–2023) 软件作者： Barnaby Rowe、Mike Jarvis、Rachel Mandelbaum、Gary M.Bernstein、James Bosch、Melanie Simet、Joshua E.Meyers、Tomasz Kacprzak、Reiko Nakajima、Joe Zuntz、Hironao Miyatake、Joerg P.Dietrich、Robert Armstrong、Peter Melchior、Mandeep S.Gill 相关软件： 天文术；蟒蛇；SExtractor… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
大门 3份文件引用(2013–2023) 软件作者： S.Jan、G.Santin等人。 相关软件： GEANT4；STIR；贝叶斯DA… 主要字段： 统计学（62-XX）；流体力学（76-XX）；生物学和其他自然科学（92-XX）…
ITE公司 6篇文献引用(2014–2020) 软件作者： 佐尔坦，萨博奥 相关软件： 维斯塔实验室；颜色实验室；PerceptNet… 主要字段： 统计学（62-XX）；量子理论（81-XX）；相对论与引力理论（83-XX）…
EXPRESS（快递） 4份文件引用(1983–2016) 软件作者： 北卡罗来纳州舒。；豪斯，不列颠哥伦比亚省。；泰勒，R.W。；Ghosh，S.P。；卢姆，V.Y。 相关软件： – 主要字段： 计算机科学（68-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L.公司。；格罗苏，R。；Henzinger，T。；托马斯。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；Mang，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
npFEM公司 4份文件引用(2019–2023) 软件作者： 克里斯托斯·科萨洛斯；乔纳斯·拉特；巴斯蒂恩·肖帕德 相关软件： 帕拉博斯；血细胞；蚱蜢… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
PERMON公司 4份文件引用(2016–2018) 软件作者： Hapla，V.等人。 相关软件： PermonFLLOP；PETSc；PermonCube… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学、数学规划（90-XX）
普赛克 5份文件引用(2013–2020) 软件作者： 圣菲省格拉汉·伦格兰德 相关软件： 伊莎贝尔；直觉；ILTP… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
狮身人面像-4 3份文件引用(2005–2019) 软件作者： W.Walker、P.Lamere、P.Kwok、B.Raj、R.Singh、E.Gouvea、P.Wolf、J.Woelfel 相关软件： 贝叶斯DA 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
修补器电池 2份文件引用(2014–2015) 软件作者： Deepak Chandran、Frank T.Bergmann、Herbert M.Sauro 相关软件： SynBioSS；塔巴斯科；lpSolve… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
TomoPhantom公司 3份文件引用(2018–2022) 软件作者： 丹尼尔·卡赞采夫；瓦列里·皮卡洛夫；Srikanth Nagella；埃多尔多·帕斯卡（Edoardo Pasca）；菲利普·威瑟斯 相关软件： ASTRA；Matlab；Python… 主要字段： 积分变换，运算微积分（44-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DIMA公司 2份文件引用(2011–2019) 软件作者： Pagel P、Oesterhold M、Stümpflen V、Frishman D。 相关软件： InterPreTS；NetworkX；提示… 主要字段： 生物学和其他自然科学（92-XX）
Gmeta公司 4份文件引用(2012–2020) 软件作者： Lee，Gyesik；布鲁诺·C.D.S.奥利维拉。；Cho，Sungkeun；Yi，Kwangkeun先生 相关软件： LNgen；流行标志；Psi-calculi… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
奥特鲁 4份文件引用（2017年至2021年） 软件作者： Ehsan Malekian；阿里·扎克洛霍塞尼 相关软件： HXDTRU；MaTRU；NTRU… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
BINSEC/SE银行 3份文件引用（2017年至2021年） 软件作者： 罗宾·戴维；塞巴斯蒂安·巴丁；Thanh Ta；Josselin Feist；劳伦特·穆尼尔；玛丽·劳雷·波特；珍妮·伊夫·马里恩 相关软件： z3；CVC4；CBMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GAMA公司 3份文件引用(2021–2023) 软件作者： 彼得·吉斯贝尔斯（Pieter Gijsbers）、华金·范肖伦（Joaquin Vanschoren） 相关软件： Auto-WEKA；自动学习；TPOT… 主要字段： 计算机科学（68-XX）
GIANT公司 3份文件引用(2004–2017) 软件作者： U.Nowak和L.Weimann 相关软件： 枫树 主要字段： 数值分析（65-XX）；流体力学（76-XX）；天文学和天体物理学（85-XX）
平行.lib 2份文件引用(2016–2021) 软件作者： A.斯坦帕。 相关软件： 单一；resolve.lib；homalg… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
TSAT公司++ 3份文件引用(2005–2008) 软件作者： 亚历山德罗·阿曼多；克劳迪奥·卡斯泰里尼；恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·伊迪尼；马可·马拉提亚 相关软件： CVC；SMT-LIB；查夫… 主要字段： 计算机科学（68-XX）
黛西 2份文件引用(2021) 软件作者： Darulova E.、Izycheva A.、Nasir F.、Ritter F.，Becker H.、Bastian R 相关软件： z3；dReal；QF_FP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
eXiT*加州承载比 1份文件引用（2014年） 软件作者： B.López、C.Pous、P.Gay、A.Pla、J.Sanz、J.Brunet 相关软件： 西拉默；BacSim；神经元… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MeVisLab公司 2份文件引用(2012–2016) 软件作者： 彼得·科尔曼（Peter Kohlmann）、托比亚斯·博斯坎普（Tobias Boskamp）、亚历山大·科恩（Alexander Köhn）、克里斯蒂安·里德（Christian Rieder）、安德烈·申克（Andrea Schenk）、弗洛里安·林克（Florian Link）、乌维·暹斯（Uwe Siems）、马库斯·巴南（ 相关软件： 生物图像XD；VirtualGL；打开Inventor… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
PRODeep公司 2份文件引用(2021) 软件作者： 李锐，李杰，黄CC，杨P，黄X，张L，薛B，Hermanns H 相关软件： Reluplex；马拉博；阿波罗… 主要字段： 计算机科学（68-XX）
皮恩斯 1份文件引用（2020年） 软件作者： 西蒙·马尼尼；卢卡·安提卡；洛伦佐·博蒂；安德烈亚·雷穆齐 相关软件： VaMpy；archTk；Python… 主要字段： 流体力学（76-XX）；生物学和其他自然科学（92-XX）
CrackDect公司 在0个文档中引用 软件作者： Matthias Drvoderic、Matthias Rettl、Martin Pletz、Clara Schuecker 相关软件： PyQt；Numba；SQL炼金术… 主要字段： –
KD-Lib公司 在0个文档中引用 软件作者： Het Shah、Avishere Khare、Neelay Shah、Khizir Siddiqui 相关软件： 蒸馏器；蟒蛇；BERT… 主要字段： –
MACER公司 1份文件引用(2022) 软件作者： 查塔巴尔，达尔沙克；乌迈尔·艾哈迈德（Umair Z.Ahmed）。；普鲁肖塔姆·卡尔 相关软件： 安吉利克斯；普鲁托；独眼巨人… 主要字段： 计算机科学（68-XX）
枫叶 在0个文档中引用 软件作者： Kelsey Chetnik、Elisa Benedetti、Daniel P.Gomari、Annalise Schweickart、Richa Batra、Mustafa Buyukozkan、Zeyu Wang、Matthias Arnold、Jonas Zierre、Karsten Suhre、Jan Krumsiek 相关软件： 对 主要字段： –
NOSNOC公司 1份文件引用(2023) 软件作者： Armin Nurkanović；莫里茨·迪尔 相关软件： github；梅沙奇；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）
开放式SAN 1份文件引用(2023) 软件作者： 克里斯托斯·迈斯蒂利迪斯；郑学智；盖伊·A·E·范登博施。 相关软件： Matlab公司 主要字段： 流体力学（76-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）
Py相位 在0个文档中引用 软件作者： Max Langer、Yuhe Zhang、Diogo Figueirinhas、Jean-Baptiste Forien、Claire Mouton、Rajmund Mokso、Pablo Villanueva-Perez 相关软件： PyHST2；泥浆；数字标识… 主要字段： –
库阿特 1份文件引用(2005) 软件作者： 加西亚·莱瓦；Barroso López，M。；Cancio Meliá，G。；Chardi Marco，B。；康斯，L。；波兹南斯基，P。；沃什布鲁克，A。；费罗，E。；A.霍尔特。 相关软件： 奥斯卡 主要字段： 计算机科学（68-XX）
斯米里达 在0个文档中引用 软件作者： 伊利亚斯·默科鲁亚斯（Ilias Merkoureas）、安东尼娅·考乌尼（Antonia Kaouni）、乔治亚·西奥多罗普鲁（Georgia Theodoropoulou）、亚历山德罗斯·布斯德基斯（Alexandros Bousdekis）、阿萨纳西奥斯·沃卢迪莫斯（At 相关软件： PMTK；迪斯科；ProM… 主要字段： –
黄貂鱼 在0个文档中引用 软件作者： D.Huppenkothen、M.Bachetti、A.L.Stevens、S.Migliari、P.Balm、O.Hammad、U.M.Khan、H.Mishra、H.Rashid、S.Sharma、R.V.Blanco、E.M.Ribeiro 相关软件： 莱特库尔夫；SHERPA公司；DAVE… 主要字段： –
罗曼诺工具箱 在0个文档中引用 软件作者： 塞巴斯蒂安·罗曼诺（Sebastián A.Romano）、维罗尼卡·佩雷斯-舒斯特尔（Verónica Pérez-Schuster）、阿德里安·尤里（Adrien Jouer）、阿莱西亚·坎迪奥（Alessia Candeo）、乔纳森·布朗格·威尔（Jonathan Boula 相关软件： SIMA；ImageBee；CALIMA… 主要字段： –
4月-ANN 在0个文档中引用 软件作者： 弗朗西斯科·萨莫拉·马丁内斯；萨尔瓦多·埃斯帕尼亚-博奎拉；豪尔赫·戈贝·莫亚；Joan Pastor-Pellicer；阿德里安·帕拉西奥斯 相关软件： – 主要字段： –
BiDAl公司 在0个文档中引用 软件作者： 巴利乌，阿尔基达；丹尼斯·奥利维蒂（Dennis Olivetti）；Ozalp Babaoglu；马尔佐拉，莫雷诺；S公司^{i} 红细胞单位、Alina 相关软件： – 主要字段： –