XFEM公司 407篇文献引用(2002–2024) 软件作者： 博尔达斯，《Stéphane作者简介》；阮富荣；西里尔州杜南；阿莫尔·吉杜姆；阮当，洪 相关软件： Matlab；Gmsh；ABAQUS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
踪迹 244篇文献引用(2014–2024) 软件作者： 阿道夫·皮佩诺 相关软件： 鹦鹉螺；SageMath；间隙… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
PLTMG公司 218篇文献引用(1990–2023) 软件作者： Randolph E.Bank；加利福尼亚大学 相关软件： 无人值守地面；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
深XDE 206篇文献引用（2019年至2024年） 软件作者： 陆璐、孟旭辉、毛志平、乔治·卡尼亚达基斯 相关软件： 亚当；DGM；FPINN… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
无人值守地面 185篇文献引用（1994年至2021年） 软件作者： Bastian，P。；伯肯，K。；约翰森，K。；朗·S。；纽伊，N。；伦茨·雷切尔，H。；维纳斯，C。 相关软件： DUNE；PETSc；PLTMG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
帕拉梅什 110篇文献引用(2000–2024) 软件作者： P.MacNeice、K.M.Olson、C.Mobarry、R.de Fainchtein、C.Packer 相关软件： Chombo；闪光；Gerris… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
货币基金组织 90篇文献引用(2012–2024) 软件作者： 罗伯特·安德森（Robert Anderson）、朱利安·安德烈（Julian Andrej）、安德鲁·巴克（Andrew Barker）、杰米·布兰威尔（Jamie Bramwell）、珍妮·西尔万·卡米尔（Jean-Sylvane Camier）、雅库布·塞维尼（Jakub Cerveny）、韦塞林·多布雷夫（Veselin Dobrev）、约汉·杜杜杜杜维特（Yohann Dudouit）、亚伦·费舍尔（Aar 相关软件： 炒作；交易.ii；PETSc… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
艾伯特 85篇文献引用(1997–2023) 软件作者： 施密特，A。；西伯特，K.G。 相关软件： 阿尔伯塔；FreeFem++；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
琼博 79份文件引用(2002–2023) 软件作者： Colella，P.，Graves，D.T.，Ligocki，T.J.，Martin，D.F.，Modiano，D.，Serafini，D.B.，Straalen，B.V。；ANAG公司 相关软件： 帕拉梅什；p4测试；SAMRAI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
电源保护 52篇文献引用(2001–2020) 软件作者： 罗杰·琼斯；R.D.阿尔森。；戴夫·金；Lemma 1有限公司 相关软件： 马戏团；Z；HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；实函数（26-XX）…
CVXGEN公司 在48份文件中引用（2010年-2023年） 软件作者： J.马丁利；S.博伊德 相关软件： qpOASES；ECOS；fast_mpc… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
帕拉博斯 41篇文献引用(2011–2023) 软件作者： 拉格拉瓦，D。；马拉菠菜。；Latt，J。；肖伯德，B。；拿特，乔纳斯；等。 相关软件： 开放LB；瓦尔贝拉；库达… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
卫星抗体 35篇文献引用(2005–2020) 软件作者： Clarke，E.，Kroning，D.，Sharygina，N.，Yorav，K。 相关软件： 爆炸；SLAM；CPA检查器… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
斯科特 31份文件引用(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： PESSOA；科西马；p面… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基（Andreas Podelski）、安德烈·里巴尔琴科（Andrey Rybalchenko） 相关软件： SLAM；跟踪器；匕首… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
不明飞行物 22篇文献引用(2012–2022) 软件作者： Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik 相关软件： CPA检查员；z3；爆炸… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
Cadence SMV公司 22篇文献引用(2000–2018) 软件作者： 麦克米兰K·L。 相关软件： NuSMV；自旋蛋白；SPOT… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
兔子 23篇文献引用(2001–2022) 软件作者： 德克·拜尔；Lewerentz，克劳斯；安德烈亚斯·诺亚克 相关软件： Uppaal；克罗诺斯；棱镜… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
SBA公司 23篇文献引用(2007–2022) 软件作者： Manolis I.A.Lourakis；安东尼斯·阿吉罗斯（Antonis A.Argyros） 相关软件： SIFT；MonoSLAM；PCA-SIFT… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
Specware（特殊软件） 25篇文献引用(1998–2019) 软件作者： Srinivas，Y.，Jullig，R。；瓦尔迪格，R。 相关软件： PVS；Nuprl；CASL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；Chen，Juan；Fornet，塞德里克；支柱，Pierre-Yves；卡尔蒂基扬·巴尔干；杨吉恩 相关软件： Coq；Nuprl；EasyCrypt… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
自动参照 18篇文献引用(2013–2022) 软件作者： 彼得·兰米奇 相关软件： Isabelle/HOL；存档正式证据；起重… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
雅加达 17篇文献引用(2001–2014) 软件作者： 丹妮拉·朱尼奥·德安德拉德（Daniela Junho de Andrade）、圣母玛利亚·德索萨（Simáo Melo de Sousa） 相关软件： Coq；OCaml；LETOS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；地球物理学（86-XX）…
CSP防护 17篇文献引用(2005–2022) 软件作者： 吉野县Isobe；马库斯·罗根巴赫 相关软件： PVS；Isabelle/HOL；FDR2… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
匕首 15篇文献引用（2008年至2021年） 软件作者： 巴加夫S.古拉瓦尼。；查克拉波蒂，苏普拉蒂克；阿迪蒂亚·诺里（Aditya V.Nori）。；Rajamani，Sriram K。 相关软件： PPL；停机坪；SLAM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
侵蚀 14篇文献引用(2017–2024) 软件作者： Cardelli，L.、Tribastone，M.、Tschaikowski，M.和Vandin，A。 相关软件： CLUE；z3；NFsim… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
柱塞 14篇文献引用(1991–2009) 软件作者： 乞丐，伊凡；吴玲；安德烈亚斯·穆勒；彼得·普尔兹比舍夫斯基；罗兰·R；威廉·索耶 相关软件： 进度；SPARSKIT；ITSOL公司 主要字段： 代数几何（14-XX）；范畴理论；同调代数（18-XX）；实函数（26-XX）…
跟踪器 14篇文献引用(2012–2022) 软件作者： Jaffar，J.、Navas，J.A.、Santosa，A.E。 相关软件： SeaHorn；z3；VeriMAP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
通过 12份文件引用(2010–2022) 软件作者： 比约恩·瓦赫特；张丽君；霍尔格·赫尔曼；莫里茨·哈恩 相关软件： 棱镜；CEGAR；风暴… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
ECDAR公司 9份文件引用(2011–2022) 软件作者： 亚历山大·戴维；金·拉森。G。；Legay，Axel；乌尔里克·奈曼；安德热·瓦索夫斯基 相关软件： Uppaal；MIO工作台；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
贾斯 5份文件引用(2005–2009) 软件作者： Bartetzko，医学博士，Fischer，C.，Wehrheim，H。 相关软件： JML；埃菲尔；规范#… 主要字段： 计算机科学（68-XX）
OCRA公司 9份文件引用（2015年至2022年） 软件作者： Cimatti，A。；Dorigatti，M。；托内塔，S。 相关软件： nuXmv；NuSMV；数学SAT5… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
拉赫夫特 9份文件引用(2018–2023) 软件作者： Kafle，B.，Gallagher，J.P.，Morales，J.F。 相关软件： z3；SeaHorn；垫片… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
厚板 6篇文献引用(2012–2018) 软件作者： Dräger，K.，Kupriyanov，A.，Finkbeiner，B.，Wehrheim，H。 相关软件： 金刚狼；SLAM；卫星… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ASPIER公司 6篇文献引用(2011–2023) 软件作者： Chaki，S；达塔，A。 相关软件： ProVerify；NAXOS；EasyCrypt… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
狂喜 7份文件引用(2005–2020) 软件作者： Jeannet B、dArgenio P、Larsen K 相关软件： 棱镜；参数；PROPhESY… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
C查找器 4份文件引用(2008–2018) 软件作者： Z.Yao、Z.Weinberg、W.L.Ruzzo 相关软件： 无间道；法国复兴信贷银行；pLoc-mHum… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
漫画 4份文件引用(2014–2021) 软件作者： Jansen，Nils；”埃里卡·亚伯拉罕；沃尔克，马提亚斯；拉尔夫·威默（Ralf Wimmer）；Joost-Pieter Katoen；贝恩德·贝克尔 相关软件： 棱镜；DiPro；z3… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
FunFrog公司 5份文件引用(2013–2019) 软件作者： Ondrej Sery；格里戈里·费尤科维奇；娜塔莎·莎莉吉娜 相关软件： eVolCheck；佩里普洛；OpenSMT… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
HyLAA公司 6篇文献引用(2017–2023) 软件作者： 斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 相关软件： 珊瑚；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
Z2sal公司 5份文件引用(2008–2012) 软件作者： J Derrick，S North，A J H Simons公司 相关软件： 自旋蛋白；Z；Z/EVES… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
阿梅舍里夫 5份文件引用(2019–2022) 软件作者： Stefan A.Funken。；安贾·施密特 相关软件： github；iFEM；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ANTARES公司 5份文件引用(2011–2014) 软件作者： Muthsam，H.J。；库普卡，F。；Löw-Baselli，B。；Obertscheider，C。；兰格，M。；伦茨，P。 相关软件： CO5支架；3D内衬；灰分… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
埃尔马普 5份文件引用(2005–2016) 软件作者： 戈尔班，A。；季诺夫耶夫，A。 相关软件： UCI-ml；Pathway Commons；CellPublisher… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
梅林 5份文件引用(2013–2017) 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；萨纳尔；TAJ… 主要字段： 计算机科学（68-XX）
精炼机 5份文件引用(1995–2005) 软件作者： 肯尼·亨特（Kenny Hunt）；詹姆斯·克里默 相关软件： 分子；鹦鹉螺；交流… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；计算机科学（68-XX）…
萨波 5份文件引用(2017–2022) 软件作者： 德罗西T 相关软件： SpaceEx；高科技；违约… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
维也纳网 4份文件引用(2014–2015) 软件作者： 弗洛里安·鲁道夫；约瑟夫·温布布（Josef Weinbub）；卡尔·鲁普；齐格弗里德·塞尔伯赫尔 相关软件： TetGen；维也纳电网；CGAL… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
FaPAS公司 4份文件引用(2013–2018) 软件作者： B.约达诺夫，C.贝尔塔 相关软件： NuSMV；VeriSIMPL；算法97… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
HARE（兔子） 4份文件引用(2013–2020) 软件作者： 帕维特拉·普拉巴卡；Duggirala，Parasara Sridhar；密特拉，萨扬；马赫什·维斯瓦纳坦 相关软件： SpaceEx；违约；S-TaLiRo… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
AL2CO公司 2份文件引用(2010–2011) 软件作者： 裴，J。；北格里申。 相关软件： TMBpro；AA指数；MPRAP… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
ASPIC公司 1份文件引用(2015) 软件作者： Bonizzoni P、Rizzi R、Pesole G 相关软件： 阿斯塔拉维斯塔；爱琴海；ARB… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
美国汽车制造商协会 3份文件引用(2018–2020) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；朱莉娅·萨皮娜 相关软件： 莫德；ABETS；Liquid Haskell… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
网格蜘蛛Par 3份文件引用(2020–2022) 软件作者： E.N.戈洛夫琴科。 相关软件： QHD泡沫；DiMP；DiMP-液压 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
JCM模式 2份文件引用(2007–2011) 软件作者： 林·沃纳·齐德里奇；斯文·伯格；罗兰·克洛泽；阿奇姆·谢德尔（Achim Schaedle）；弗兰克·施密特 相关软件： JCM套件；帕迪索 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）
r-TuBound公司 1份文件引用(2017) 软件作者： Jens Knoop；劳拉·科瓦奇（Laura Kovács）；雅各布兹维奇梅尔 相关软件： Smacc公司；STP；OTAWA… 主要字段： 计算机科学（68-XX）
西塔 2份文件引用(2015–2021) 软件作者： 乔蒂莫·德斯穆赫（Jyotirmoy Deshmukh）；金小青；詹姆斯·卡宾斯基；奥德·马勒 相关软件： 违约；S-TaLiRo；自适应压力测试.jl… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SymmPa公司 3份文件引用(2012–2017) 软件作者： 阿拉斯泰尔·唐纳森。；亚历山大·凯撒；Daniel Kroening；Michael Tautschnig；托马斯·沃尔 相关软件： 螺纹工；魔法；ASTREE… 主要字段： 计算机科学（68-XX）
水 1份文件引用(2017) 软件作者： Muller J、Creevey CJ、Thompson JD、Arendt D、Bork P 相关软件： 指南2；罢工；蛋白石… 主要字段： 生物学和其他自然科学（92-XX）
CMView（CMView） 1份文件引用(2014) 软件作者： Corinna Vehlow、Henning Stehr、Matthias Winkelmann、JoséM.Duarte、Lars Petzold、Juliane Dinse、Michael Lappe 相关软件： 细胞景观；采访者 主要字段： 生物学和其他自然科学（92-XX）
牛仔布 1份文件引用(2014) 软件作者： 詹姆斯·林；马克·W·纽曼；Jason I.Hong；詹姆斯·兰迪 相关软件： 国际单项体育联合会；PerfectDoc；PixLabeler… 主要字段： 计算机科学（68-XX）
图形箱 2份文件引用(2020–2022) 软件作者： Mallawarachchi，V.G.，Wickramarachhi，A.S.，Lin，Y。 相关软件： 元SPAdes；离心机；MaxBin… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
Lep-MAP公司 在0个文档中引用 软件作者： Rastas P、Paulin L、Hanski I、Lehtonen R、Auvinen P 相关软件： R；JoinMap；ICIMapping… 主要字段： ——
SQL生成器 2份文件引用(2021–2023) 软件作者： Yaghmazadeh，北。；Wang，Y。；迪利格，I。；T·迪利格。 相关软件： 稳健填充；NLTK；aplore3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
特征CbC 2份文件引用(2022–2023) 软件作者： 伦格，托拜厄斯；亚历克斯·波坦；托马斯·图姆；伊娜·谢弗 相关软件： 自动校对；JML；艾菲尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
TravMC公司 2份文件引用(2012–2017) 软件作者： 不远处，罗宾·P。；史蒂文·拉姆齐（Steven J.Ramsay）。；王志浩（音） 相关软件： TravMC2；github；MoCHi… 主要字段： 计算机科学（68-XX）
自动BUSTER 在0个文档中引用 软件作者： Bricogne，G.、Blanc，E.、Brandl，M.、Flensburg，C.、Keller，P.、Paciorek，W.、Roversi，P.和Sharff，A.、Smart，O.S.、Vonrhein，C.、Womack，T.O。；Global Phasing有限公司。 相关软件： 剪刀；互惠空间；Servalcat… 主要字段： ——
B测试框 1份文件引用(2021) 软件作者： de Azevedo Oliveira D，Medeiros V，Déharbe D，音乐硕士 相关软件： 罗丹；github；核心ASM… 主要字段： 计算机科学（68-XX）
ComFLOW公司 1份文件引用(2017) 软件作者： 红斑狼疮；B.杜兹；H.J.L.Van Der Heiden；P.Van Der Plas；A.E.P.Veldman公司 相关软件： 开放式泡沫 主要字段： 数值分析（65-XX）；流体力学（76-XX）
克努特·莫里斯·普拉特 1份文件引用(2019) 软件作者： 费比安·海洛尔（Fabian Hellauer）；彼得·兰米奇 相关软件： 埃德蒙兹-卡普；CAVA LTL模型检查器；IEEE_浮点… 主要字段： 计算机科学（68-XX）
灯光秀 在0个文档中引用 软件作者： Matthew R.Carbone；孟凡晨；克里斯蒂安·福维克；Benedikt Maurer；费比安·佩舍尔；曲晓慧；Eli Stavitski Claudia Draxl；约翰·文森；德玉路 相关软件： 输精管结扎术；刺激；FEFF… 主要字段： ——
蝗虫 1份文件引用(2017) 软件作者： 马克·布罗克施米特（Marc Brockschmidt）；陈玉新；Kohli，Pushmeet；克利须那，悉达多；丹尼尔·塔洛 相关软件： 蚱蜢；IronFleet公司；SeLoger… 主要字段： 计算机科学（68-XX）
LTL至GBA 1份文件引用(2019) 软件作者： 亚历山大·辛普夫（Alexander Schimpf）；彼得·兰米奇 相关软件： Dijkstra最短路径；自动参考；实际（_I）… 主要字段： 计算机科学（68-XX）
MMesh3D（毫米网格三维） 1份文件引用(2016) 软件作者： 西蒙·马拉斯 相关软件： METIS公司；宇宙；MM5… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
REFLP公司 1份文件引用(1997) 软件作者： 罗伯特·科尔文；伊恩·海耶斯（Ian Hayes）；雷·尼克森（Ray Nickson）；保罗·斯特罗珀 相关软件： Ergo 6号机组 主要字段： 计算机科学（68-XX）
SFCHECK（SF检查） 1份文件引用(2016) 软件作者： A.A.Vaguine、J.Richelle、S.J.Wodak 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
白蚁 1份文件引用(2020) 软件作者： Jason Chuang、Christopher D.Manning、Jeffrey Heer 相关软件： f-GAN；更快的R-CNN；StackGAN… 主要字段： 计算机科学（68-XX）