高斯人 222篇文献引用(1983–2024) 软件作者： 高斯公司。；http://gaussian.com/people网站/ 相关软件： 西北化工；游戏；MOLPRO… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；量子理论（81-XX）…
联合 183份文件引用(1988–2021) 软件作者： K.Mani Chandy；贾亚德夫·米斯拉 相关软件： NQTHM；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
力学 186篇文献引用(1994–2022) 软件作者： 海伦娜·E·努斯。；詹姆斯·约克（James A.Yorke）。 相关软件： 自动；HomCont；数学… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；粒子力学与系统（70-XX）…
SnapPea公司 167篇文献引用(1992–2024) 软件作者： 帕特里克·J·卡拉汉。；希尔德布兰德，马丁五世。；周，Jeffrey R。 相关软件： SnapPy；捕捉；Regina… 主要字段： 群论和概括（20-XX）；复变量函数（30-XX）；微分几何（53-XX）…
爆炸 111篇文献引用(2003–2022) 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；兰吉特·贾拉；Rupak Majumdar；格雷戈伊尔·萨特雷 相关软件： SLAM；注册会计师检查；CBMC… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
班德拉 105篇文献引用(2000–2023) 软件作者： 约翰·哈特克利夫；马修·德怀尔 相关软件： 自旋蛋白；Java PathFinder；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DSTool（DSTool） 106篇文献引用(1992–2022) 软件作者： J Guckenheimer、Meloon文学学士、Myers先生、FJ Wicklin、Michael Patra 相关软件： 自动；AUTO-86；HomCont… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
预混合 52篇文献引用(1987–2023) 软件作者： R.J.Kee、J.F.Grcar、M.D.Smooke、J.A.Miller、E.Meeks 相关软件： CHEMKIN公司；运输；GRI-科技3.0… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
涟漪 59篇文献引用(1992–2023) 软件作者： Kothe DB、Mjolness RC、Torrey医学博士 相关软件： SOLA-VOF；SLIC；NASA-VOF2D… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
Refprop公司 引用于53份文件(2009–2024) 软件作者： NIST标准 相关软件： CoolProp；FluidProp；OpenFOAM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
CiaoPP公司 51篇文献引用(1999–2022) 软件作者： Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件： Ciao；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；Tschantz，Matthew S。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
ConGolog公司 40篇文献引用(1999–2022) 软件作者： 德贾科莫；Lespérance，Y。；H.J.列夫斯克。 相关软件： 高尔夫；AgentSpeak；METATEM… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
常春藤 45篇文献引用(2000–2023) 软件作者： 威廉·麦库恩；奥尔加·舒姆斯基 相关软件： 常春藤；z3；TPTP… 主要字段： 数学逻辑与基础（03-XX）；群论和概括（20-XX）；计算机科学（68-XX）
ConQuest公司 9份文件引用(2001–2018) 软件作者： Wu，M.L.，Adams，R.J.，Wilson，M.R。 相关软件： Mplus；WINSTEPS公司；SAS… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）
NMHDECAY公司 36篇文献引用(2001–2017) 软件作者： 乌尔里希·埃尔旺格（Ulrich Ellwanger）、西里尔·雨戈尼（Cyril Hugonie） 相关软件： NMSSM工具；柔软；micrOMEGAs… 主要字段： 交换代数（13-XX）；统计学（62-XX）；量子理论（81-XX）…
盖根 35篇文献引用(2004–2022) 软件作者： Daniel Fontijne；利奥·多斯特；蒂姆·鲍马 相关软件： 加洛普；CLUCalc；克利福德… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
巢穴 21篇文献引用(2008–2022) 软件作者： 密苏里州Gewaltig；M.迪斯曼。 相关软件： 神经元；派恩；布莱恩… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
日本运通银行 在25份文件中引用(2002–2022) 软件作者： 克劳斯·哈维隆德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SCHUR公司 31份文件引用(1994–2023) 软件作者： 布莱恩·怀伯恩 相关软件： 数学；数学张量；ALPS… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）…
瓦尼尔90 26篇文献引用（2008年至2024年） 软件作者： Arash A.Mostofi、Jonathan R.Yates、Young-Su Lee、Ivo Souza、David Vanderbilt、Nicola Marzari 相关软件： 量子浓缩咖啡；WIEN2k；ABINIT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
火柴盒 24篇文献引用(2005–2023) 软件作者： J·沃尔德曼。 相关软件： AProVE；蒂罗尔；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
打开AD/F 23篇文献引用(2007–2022) 软件作者： Jean Utke；乌韦·诺曼；Mike Fagan；内森·塔伦特；米歇尔·米尔斯（Michelle Mills），斯特劳特（Strout）；帕特里克·海姆巴赫；克里斯·希尔（Chris Hill）；卡尔·温施 相关软件： 锥体；ADIFR；ADOL-C… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
HipSpec（髋关节规范） 23篇文献引用(2013–2023) 软件作者： 科恩·克莱森；穆阿·约翰逊（Moa Johansson）；丹·罗斯恩；尼古拉斯·斯莫尔博内 相关软件： IsaCoSy；VAMPIRE公司；CVC4… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）
拖把 在15份文件中引用(2003–2019) 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆炸；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
TOUGHREACT公司 23篇文献引用(2009–2023) 软件作者： Xu，T.、Sonnenthal，E.、Spycher，N.、Pruess，K 相关软件： PFLOTRAN；水文地球化学；CrunchFlow… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
BacSim公司 21篇文献引用(2000–2021) 软件作者： J.Kreft、G.Booth、J.W.T.Wimpenny 相关软件： AgentCell；iDynoR；Sylamer… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；Chen，Juan；Fornet，塞德里克；支柱，Pierre-Yves；卡尔蒂基扬·巴尔干；杨吉恩 相关软件： Coq；Nuprl；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
SCEL公司 18篇文献引用(2014–2023) 软件作者： 洛科·德·尼古拉（Rocco De Nicola）、迭戈·拉特拉（Diego Latella）。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂齐、安德烈·范丁 相关软件： 克拉姆；莫德；CARMA… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OPECgen公司 20篇文献引用(1999–2019) 软件作者： 姜厚元；丹尼尔·拉尔夫 相关软件： MacMPEC；SDPT3；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
ArchJava建筑 10篇文献引用(2002–2017) 软件作者： 乔纳森·奥尔德里奇；钱伯斯，克雷格；大卫·诺金 相关软件： SOFA 2.0；宽带；UMLDiff… 主要字段： 计算机科学（68-XX）
FunArray（趣味阵列） 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
VAMUCH公司 18篇文献引用(2007–2023) 软件作者： 唐、田；于文斌 相关软件： ANSYS；Gmsh；获取DP… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
DCVALID公司 引用于16份文件(2001–2022) 软件作者： P.潘迪亚 相关软件： MONA；IDLVALID；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PseAAC-概述 引用于16份文件(2014–2019) 软件作者： 杜，P。；顾S。；焦，Y。 相关软件： PseAAC-Builder；iNuc-PseKNC；财产… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
螺纹加工工 12份文件引用(2012–2020) 软件作者： 科内留·波皮亚（Corneliu Popeea）；安德烈·里巴尔琴科 相关软件： 注册会计师检查；SLAM；CBMC… 主要字段： 计算机科学（68-XX）
BoogiePL公司 11份文件引用(2005–2020) 软件作者： DeLine，R.，Leino，K.R.M。 相关软件： z3；规范#；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
西格玛* 14篇文献引用(2013–2022) 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 相关软件： 拉利布；libalf；z3… 主要字段： 计算机科学（68-XX）
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CAE Fidesys公司 13份文件引用(2017–2022) 软件作者： 德米特里·科诺瓦洛夫（Dmitri Konovalov，Andreevich）；雅科夫列夫，马克西姆·雅科夫列维奇 相关软件： AlgoWiki；LEGAK-DK；TsAGI… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
OPPDIF公司 10篇文献引用（2003年至2021年） 软件作者： A.E.卢茨。；R.J.Kee。；Grcar，J.F。；F.M.鲁普利。 相关软件： CHEMKIN公司；运输；预混合… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）
金刚狼 11份文件引用(2012–2020) 软件作者： 乔治·魏森巴赫（Georg Weissenbacher）；Daniel Kroening；沙拉德·马利克 相关软件： SLAM；注册会计师检查；爆炸… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
采埃特 13份文件引用(2001–2021) 软件作者： D.Bardin、M.Bilenky、P.Christova、M.Jack、L.Kalinovskaya、A.Olchevski、S.Riemann、T.Riemannen 相关软件： TOPAZ0；抱怨；NAG… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
AMoRE公司 12份文件引用(1998–2010) 软件作者： O.Matz、A.Miller、A.Potthoff、W.Thomas、E.Valkema 相关软件： 自动化；间隙；圣杯… 主要字段： 一般性和全局性主题；藏品（00-XX）；群论和概括（20-XX）；计算机科学（68-XX）
网络服务提供商 9份文件引用(2008–2018) 软件作者： 科马克·弗拉纳根（Cormac Flanagan）；帕特丽斯·戈德弗里德 相关软件： 克利；自旋蛋白；veriSoft… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
美赞臣 9份文件引用(2006–2019) 软件作者： Bierman GM、Parkinson MJ、Pitts AM 相关软件： 轻量级Java；中量级爪哇；旋风… 主要字段： 计算机科学（68-XX）
迪安娜 11份文件引用(2001–2020) 软件作者： 彼得·Güntert；库尔特·沃特里奇 相关软件： CYANA；中枢神经系统；单词2vec… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）；计算机科学（68-XX）…
克拉托斯 10篇文献引用(2011–2022) 软件作者： A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件： 爆炸；系统C；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
夏洛特 4份文件引用(2006–2017) 软件作者： Baratloo A、Karaul M、Kedem Z、Wijckoff P 相关软件： BOINC公司；XtremWeb；标枪++… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
LLRANDOM公司 10篇文献引用(1975–2017) 软件作者： G.P.Learmonth；P.A.W.刘易斯 相关软件： COMSOL公司；IMSL数字图书馆；测试U01… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
MAVEN公司 9份文件引用(2007–2013) 软件作者： 高盛，马克斯；埃米利亚·卡茨（Emilia Katz）；Shmuel Katz 相关软件： ProMoVer；CVPP；Aspectual Caml… 主要字段： 计算机科学（68-XX）
PSPC链路 10篇文献引用(1997–2017) 软件作者： 阿尔贝托·阿巴德；费利克斯·桑胡安 相关软件： PSPC；数学；ATESAT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
威恩97 9份文件引用(2001–2006) 软件作者： 布拉哈，P。；施瓦兹，K。；J·路易茨。 相关软件： SPiDER；DAQV；wien-speedup… 主要字段： 计算机科学（68-XX）；光学、电磁理论（78-XX）；量子理论（81-XX）…
CDNA公司 8份文件引用(2000–2017) 软件作者： D.洛文斯顿；P.N.伊亚尼洛斯 相关软件： Matlab；NeoBio；DNA压缩… 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
公共回路 9份文件引用(1986–2021) 软件作者： Bobrow，D。；Kahn，K。；Kiczales，G。；Masinter，L。；斯特菲克，M。；Zdybel，F。 相关软件： 埃菲尔；Smalltalk；LISP… 主要字段： 组合数学（05-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
FLEUR公司 9份文件引用(2012–2020) 软件作者： Forschungszentrum朱利希 相关软件： WIEN2k；ScaLAPACK；拉帕克… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；量子理论（81-XX）…
富勒烯 9份文件引用(2016–2021) 软件作者： P.Schwerdtfeger、L.Wirz、J.Avery 相关软件： 福贵；超化学；岩浆… 主要字段： 组合数学（05-XX）；几何（51-XX）；凸和离散几何（52-XX）…
拉赫夫特 9份文件引用(2018–2023) 软件作者： Kafle，B.，Gallagher，J.P.，Morales，J.F。 相关软件： z3；SeaHorn；垫片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TILOS公司 6篇文献引用(2005–2022) 软件作者： Dunlop AE鱼缸JP 相关软件： 抖动调谐；兰斯洛特；Mosek… 主要字段： 组合数学（05-XX）；光学、电磁理论（78-XX）；运筹学，数学规划（90-XX）…
维尔文 9份文件引用（2012年至2021年） 软件作者： 赵建洲；桑托什，纳加拉卡特；Martin，Milo M.K。；史蒂夫·兹丹切维奇 相关软件： Coq；VST-Floyd；工具链… 主要字段： 计算机科学（68-XX）
AoPA公司 8份文件引用(2009–2017) 软件作者： Mu，Shin-Cheng；Ko、Xiang-Shang；帕特里克·詹森 相关软件： 阿格达；Coq；Idris… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
气泡-FOS/C 8份文件引用(2011–2017) 软件作者： Meyerhenke，Henning；托马斯·索尔瓦尔德（Thomas Sauerwald）；博克哈德·莫尼恩 相关软件： DibaP；METIS公司；PT-Scotch… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
深度编码器 8份文件引用(2021–2023) 软件作者： Balog，Matej；亚历山大·冈特。；马克·布罗克施米特（Marc Brockschmidt）；塞巴斯蒂安·诺沃津；丹尼尔·塔洛 相关软件： 梅塔戈里；Tensor2传感器；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
电动汽车 6篇文献引用(2001–2021) 软件作者： 拉尔斯-奥克·弗雷德隆德；迪利安·古罗夫；托马斯·诺尔；Mads大坝；托马斯艺术；根纳迪·楚格诺夫 相关软件： 埃尔朗；伊莎贝尔；Coq… 主要字段： 计算机科学（68-XX）
FlashMeta软件 6篇文献引用(2017–2021) 软件作者： 奥列克桑德·波洛佐夫；苏米特·古尔瓦尼 相关软件： FlashExtract；运输；FlashRelate… 主要字段： 计算机科学（68-XX）
HMC公司 7份文件引用(2014–2021) 软件作者： Jhala，R.、Majumdar，R.和Rybalchenko，A。 相关软件： z3；垫片；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RGITL公司 8份文件引用(2014–2022) 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，Jörg；Reif，Wolfgang 相关软件： 自旋蛋白；KIV；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
单一模块性测试 8份文件引用(2013–2022) 软件作者： 马提亚斯·沃尔特；特鲁姆佩尔，克劳斯 相关软件： 单一模块性；github；PDCO… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
xtscc公司 7份文件引用(2012–2023) 软件作者： 丹尼尔·霍科尔 相关软件： Stata公司；豪斯曼；xtabond2… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
CVPP公司 7份文件引用(2004–2015) 软件作者： 赫斯曼（Marieke Huisman）；古罗夫，帝力 相关软件： MAVEN公司；班德拉；Uppaal… 主要字段： 数论（11-XX）；统计学（62-XX）；计算机科学（68-XX）…
双曲线图形生成器 7份文件引用(2015–2021) 软件作者： 罗德里戈阿尔德科阿；恰拉奥西尼；德米特里·克里奥科夫 相关软件： 网络工具包；网络；科内克… 主要字段： 组合数学（05-XX）；一般拓扑（54-XX）；统计学（62-XX）…
OPAC公司 7份文件引用(2008–2023) 软件作者： Hess M、Koepke P、Schult I 相关软件： LEWICE公司；FENSAP-ICE；SU2… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
克拉拉 5份文件引用(2011–2021) 软件作者： Bodden E、Lam P、Laurie L 相关软件： Java-MOP；apcluster；VGGFace2… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
集群C 6篇文献引用(2004–2013) 软件作者： Mohseni-Zadeh，S。；Brézellec，P。；J.-L.里斯勒。 相关软件： 爆炸；PSI-爆炸；算法457… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
CPBPV公司 4份文件引用(2010–2023) 软件作者： 赫莱内·科拉维扎；米歇尔·鲁赫（Michel Rueher）；帕斯卡·范·亨特利克 相关软件： TCAS；CBMC；VIPR… 主要字段： 计算机科学（68-XX）
焦点测试 6篇文献引用(2011–2018) 软件作者： 卡利埃、马蒂厄；凯瑟琳·杜布瓦（Catherine Dubois）；阿尔诺·哥特利布 相关软件： 快速检查；Coq；SmallCheck… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
集团IP 5份文件引用(2020–2023) 软件作者： Upalaparna Banerjee、Joydep Chakrabortty、Suraj Prakash、Shakel Ur Rahaman 相关软件： 基本发电机；DEFT；FlavorKit… 主要字段： 粒子和系统力学（70-XX）；可变形固体力学（74-XX）；经典热力学，传热（80-XX）…
虎鲸 引用于3份文件(2021–2024) 软件作者： F.内斯。 相关软件： 游戏；Python；量子浓缩咖啡… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
打孔 5份文件引用（2002年-2014年） 软件作者： 亚当·鲁本（Adam J.Ruben）。；斯蒂芬·弗里兰（Stephen J.Freeland）。；Laura F.Landweber。 相关软件： DNA序列生成器；BOINC公司；爪哇格兰德… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
ADF（自动进近） 5份文件引用(2006–2017) 软件作者： 化学与材料软件（SCM） 相关软件： 吞咽；阿伏伽德罗；游戏… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；量子理论（81-XX）…
仿射 4份文件引用(2012–2019) 软件作者： 安东·纳扎罗夫 相关软件： 数学；LiE；仿射.m… 主要字段： 非结合环与代数（17-XX）；拓扑群，李群（22-XX）；计算机科学（68-XX）…
计数器QH。米 5份文件引用(2017–2021) 软件作者： 加西亚，贝伦；伦巴德罗；Pérez del Río，Jesús s。 相关软件： Matlab公司 主要字段： 场论与多项式（12-XX）；特殊功能（33-XX）；常微分方程（34-XX）…
细胞-模拟 4份文件引用(2008–2014) 软件作者： 肖恩·塞德瓦兹（Sean Sedwards）、托马索·马扎（Tommaso Mazza） 相关软件： BlenX；COPASI；生物-PEPA 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
勒梅 引用于3份文件(1995–2019) 软件作者： H·特里基。 相关软件： MIMOLA公司；MAHA；点子… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
j预测器 5份文件引用(2007–2018) 软件作者： Feng Chen、Traian Florin Serbanuta、Grigore Rošu 相关软件： AVIO；QuickLex；快速通道… 主要字段： 计算机科学（68-XX）
RM传真。如果 5份文件引用(1997–2022) 软件作者： 环，P。；甘希尔，Y.K。；拉拉齐西斯，G.A。 相关软件： – 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）；相对论和引力理论（83-XX）
SCELib公司 4份文件引用(2000–2009) 软件作者： N.Sanna、F.A.Gianturco 相关软件： 高斯人；沃尔斯卡特；SCELib3.0… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
安全数据集 4份文件引用(1991–2023) 软件作者： 布拉德利·恩格斯特罗姆（Bradley R.Engstrom）；彼得·卡佩罗 相关软件： 变形杆菌；斯卡拉；轻量级Java… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
塔胡提 4份文件引用(2010–2017) 软件作者： 哈蒙德·T，戴维斯·R 相关软件： Tesseract；SketchREAD；CALI… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
德克萨斯州 5份文件引用(2021–2022) 软件作者： C.Lemieux、D.Park、I.Beschatnikh 相关软件： PPTLMiner；S-TaLiRo；Daikon… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
仿射。米 4份文件引用（2012年至2021年） 软件作者： 安东·纳扎罗夫 相关软件： 数学；仿射；锂离子… 主要字段： 非结合环与代数（17-XX）；群论和概括（20-XX）；数值分析（65-XX）…