科学Py 引用于822份文件(2005–2024) 软件作者： Jones，E.、Oliphant，T.、Peterson，P.等人。 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AUTO（自动） 1016份文件引用(1981–2024) 软件作者： 多德尔、尤西比乌斯、阿兰·查普内斯、法比奥·德科尔、托马斯·费尔格雷夫、尤里·库兹涅佐夫、巴特·奥尔德曼、兰迪·帕芬罗斯、比约恩·桑德斯、王宪军和张成海 相关软件： AUTO-07P；HomCont；自动-86… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
国际实验室 508份文件引用(1999–2024) 软件作者： 齐格弗里德·M·臀部。 相关软件： Matlab；mctoolbox；C-XSC 2.0… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
自动-86 280篇文献引用(1987–2022) 软件作者： Alan Champneys、Fabio Dercole、Thomas Fairgrife、Yuri Kuznetsov、Bart Oldeman、Randy Paffenroth、Bjorn Sandstede、Xianjun Wang和Chenghai Zhang 相关软件： 自动；PITCON；DSTool… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
MPT公司 255篇文献引用(2004–2023) 软件作者： M.Kvasnica；P.Grieder；M.Baoti；苏黎世联邦理工学院；弗朗西斯科·博雷利 相关软件： YALMIP；CPLEX；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
E定理证明器 229篇文献引用（2001年-2023年） 软件作者： 斯蒂芬·舒尔茨 相关软件： VAMPIRE公司；TPTP；SPASS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
PLTMG公司 218篇文献引用(1990–2023) 软件作者： Randolph E.Bank；加利福尼亚大学 相关软件： 无人值守地面；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
XSB公司 139篇文献引用（1995年至2022年） 软件作者： Sagonas，K.F.、Swift，T.、Warren，D.S.、Freire，J.、Rao，P。 相关软件： YAP-Prolog；平滑；B-Prolog… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
卢斯特 104篇文献引用(1992–2023) 软件作者： 卡斯皮，P。；Pilaud，D。；Halbwachs，N。；普拉斯，J.A。 相关软件： 酯类；信号；Simulink… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
主页 123篇文献引用(1987–2023) 软件作者： Layne T.Watson。；斯蒂芬·比卢普斯（Stephen C.Billups）。；亚历山大·摩根。 相关软件： PITCON；HOMPACK90；minpack… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
SYMMGRP公司 121篇文献引用(1993–2024) 软件作者： 威利·赫里曼；B.香槟；P.温特尼茨 相关软件： 枫树；SYMMGRP公司。最大值；谎言… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
应用程序 108篇文献引用(2002–2023) 软件作者： 罗伯托·巴格纳拉；利玛窦（Elisa Ricci）；埃纳州扎法内拉；帕特里夏·M·希尔。 相关软件： 高科技；停机坪；ASTREE… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
量子点 109篇文献引用(1991–2023) 软件作者： 斯蒂芬·博伊德（Stephen P.Boyd）。；克雷格·H·巴拉特。 相关软件： LMI工具箱；塞杜米；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
seL4级 92份文件引用(2009–2023) 软件作者： Klein，G.、Elphinstone，K.、Heiser，G.，Andronick，J.、Cock，D.、Derrin，P.、Elkaduwe，D.、Engelhardt，K.，Kolanski，R.、Norrish，M.、Sewell，T.、Tuch，H.、Winwood，S。 相关软件： Isabelle/HOL；Coq；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
CAPD（机顶盒） 78篇文献引用(2005–2023) 软件作者： 格拉泽戈兹·贾布隆斯基（Grzegorz Jablonski）；Kapela，T.、Mrozek，M.、Pilarczyk，P.、Wilczak，D.、Zgliczyński，P。 相关软件： 杆；泰勒；国际实验室… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
G工具箱 68篇文献引用(1999–2021) 软件作者： C.Houck、J.Joines、M.Kay、A.Chipperfield、P.Flemming、H.Pohlheim、C.Fonseca 相关软件： Matlab；基因组学；遗传算法与直接搜索工具箱… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
PPM（百万英镑） 72份文件引用(2002–2023) 软件作者： I.F.Sbalzarini、J.H.Walther、M.Bergdorf、S.E.Hieber、E.M.Kotsalis、P.Koumoutsakos 相关软件： FFTW；GADGET公司；GitHub… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SYMMGRP公司。马克斯 73篇文献引用(1991–2023) 软件作者： 香槟，B。；Hereman，W。；温特尼茨，P。 相关软件： SYMMGRP；diffgrob2；谎言… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
阿比尼特 65篇文献引用(2004–2024) 软件作者： 泽维尔·贡泽（Xavier Gonze）；伯纳德·阿马登（Bernard Amadon）；加布里埃尔·安东尼厄斯；弗雷德里克·阿纳尔迪；卢卡斯·巴格特；Jean-Michel，Beuken；约旦比德；弗朗索瓦·博廷；约翰·布歇；埃里克·博斯克（Eric Bousquet）；尼尔斯·布劳沃（Nils Brouwer）；布鲁内瓦尔（Bruneval）、法比恩（Fabien）；纪尧姆·布鲁宁；卡维尼亚克，塞奥；Jean-Baptiste Charraud；陈伟；米歇尔·科特；斯特凡·科特尼尔；朱尔斯·丹尼尔（Jules Denier）；盖内斯特，格里戈里；菲利普·戈塞兹（Philippe Ghosez）；吉安托马斯，马特奥；Gillet，Yannick；Gingras，Olivier；唐纳德·哈曼（Donald R.Hamann）。；杰弗里·豪蒂埃；何旭；尼科尔·赫尔比格；Natalie Holzwarth；贾永超；弗朗索瓦·乔利特；威廉·拉法尔盖·迪特·哈雷特（William Lafargue-Dit-Hauret）；库尔特·勒贾盖尔（Kurt Lejaeghere）；米盖尔·马奎斯。；亚历山大·马丁；西里尔·马丁斯；Miranda，Henrique P.C。；弗朗西斯科·纳卡拉托；克里斯汀·佩尔松；彼得雷托，圭多；飞机，瓦伦丁；Yann Pouillon；谢尔盖，普罗霍伦科；法比奥·里奇；里格纳内斯，吉安·马尔科；阿尔多·罗梅罗（Aldo H.Romero）。；迈克尔·马库斯·施密特；马克·托伦特；Michiel J.van Setten。；Van Troeye，Benoit；Verstraete，Matthieu J。；泽拉，吉尔；Josef W.茨万齐格。 相关软件： 量子浓缩咖啡；CASTEP公司；WIEN2k… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
QuTiP公司 55份文件引用(2015–2024) 软件作者： J.R.Johansson，P.D.Nation，F.Nori 相关软件： 蟒蛇；数字Py；科学… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科尔 68篇文献引用(1983–2023) 软件作者： 迪亚兹，J.C。；费尔威瑟，G。；基斯特·P·。 相关软件： 阿塞洛；EPDCOL；abdback… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；积分方程（45-XX）…
阿勒夫 59篇文献引用(2004–2023) 软件作者： 斯里尼瓦桑，A 相关软件： ProbLog；github；Metagol… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
汪汪叫 26篇文献引用（2004年至2021年） 软件作者： Wil M.P.范德阿尔斯特。 相关软件： 塔维纳；沃夫兰；WSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
EFD（电子飞行显示器） 59篇文献引用(2007–2023) 软件作者： 丹尼尔·伯恩斯坦（Daniel J.Bernstein）；Tanja Lange女士 相关软件： 曲线25519；mpFq；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
波科普 58篇文献引用(2013–2023) 软件作者： F.J.Bonnans、P.Martinon、V.Grélard、。 相关软件： Ipopt；哈姆帕斯；SOCS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
迪维尼 40篇文献引用(1996–2020) 软件作者： J.Barnat；L.Brim；P.罗凯 相关软件： 自旋蛋白；BEEM；NuSMV… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
字符串 引用于53份文件(2012–2023) 软件作者： 弗朗西斯科尼，A。；Szklarczyk，D。；Frankild，S。；库恩，M。；西蒙诺维奇，M。；Roth，A。；林，J。；明格兹，P。；博克，P。；冯·梅林，C。；詹森，L.J。 相关软件： 凯格；细胞景观；R、 … 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
AUTO2000（自动2000） 54篇文献引用(2003–2023) 软件作者： 尤西比乌斯·多德尔（Eusebius Doedel），贡献者：阿兰·查普内斯（Alan Champneys）、法比奥·德科尔（Fabio Dercole）、托马斯·费尔格雷夫（Thomas Fairgrife）、尤里·库兹涅佐夫（Yuri Kuznetsov）、巴特·奥尔德曼（Bart Oldeman）、兰迪·帕芬罗斯（Randy Paffenro 相关软件： HomCont；自动；MATCONT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
西北化工 49篇文献引用(2000–2024) 软件作者： Ricky A.Kendall。；4月，Edoardo；David E.Bernholdt。；埃里克·J·拜拉斯卡。；米歇尔·杜普伊斯（Michel Dupuis）；乔治·范恩（George I.Fann）。；罗伯特·哈里森（Robert J.Harrison）。；朱佳林；杰弗里·尼科尔斯（Jeffrey A.Nichols）。；Jarek Nieplocha；斯特拉茨马，T.P。；特蕾莎·L·温德斯。；Wong，Adrian T。 相关软件： 高斯人；阿比尼特；拉帕克… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；量子理论（81-XX）…
捕图者 在28份文件中引用(2001–2014) 软件作者： I.J.Cox、M.L.Miller、S.M.Omohundro、P.N.Yianilos， 相关软件： VisualSEEk；PicToSeek；NeTra… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
路权地图 52篇文献引用(1997–2024) 软件作者： 韦纳，R。；Schmitt，文学学士。；波德海斯基，H。 相关软件： 罗德斯；投票；Matlab… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
BB公司 36篇文献引用(2010–2023) 软件作者： 瓦拉丹·R、吉尔伯特·P 相关软件： R；optimx；nleqslv… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
主页90 47篇文献引用(1997–2022) 软件作者： Layne T.Watson。；玛丽亚·索松基纳（Maria Sosonkina）；罗伯特·梅尔维尔（Robert C.Melville）。；Alexnder P.摩根。；霍默·沃克。 相关软件： 主页；PHCpack；POLSYS_PLP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
数字 在48份文件中引用（1998年-2023年） 软件作者： van Hentenryck，P.，Deville，Y.，Michel，L。 相关软件： 进入PT_90；RealPaver；BARON… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ROMS（只读存储器） 在48份文件中引用（2008年至2024年） 软件作者： 海德沃格尔，D.B。；阿兰戈，H。；Budgell，W.P。；科努埃尔，B.D。；Curchitser，E。；迪·洛伦佐（Di Lorenzo），E。；茴香，K。；Geyer，W.R。；赫尔曼·A·J。；Lanerolle，L。；莱文，J。；McWilliams，J.C。；Miller，A.J。；摩尔，A.M。；鲍威尔，T.M。；Shchepetkin，A.F。；舍伍德，C.R。；Signell，R.P。；华纳，J.C。；J.威尔金。 相关软件： MPAS海洋；L-BFGS；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
StarPU公司 32篇文献引用(2012–2023) 软件作者： C.Augonnet、S.Thibault、R.Namyst、P.-A.Wacrenier 相关软件： CUDA；血浆；OpenCL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
弗里尔 38篇文献引用(1987–2022) 软件作者： 鲍德温，J.F。；马丁·T·P。；B.W.皮尔斯沃思。 相关软件： Likelog；FPROLOG；XPath… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
阿塞洛 44篇文献引用(1983–2023) 软件作者： 迪亚兹，J.C。；费尔威瑟，G。；基斯特·P·。 相关软件： 科尔；abdback；COLSYS… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
P-语言 40篇文献引用(2010–2023) 软件作者： 伊格纳西奥·佩雷斯·赫尔塔多 相关软件： MeCoSim公司；CUDA；pLinguaCore… 主要字段： 历史与传记（01-XX）；组合数学（05-XX）；计算机科学（68-XX）…
椭圆工具箱 38篇文献引用(2006–2022) 软件作者： Kurzhanskiy，A.A。；瓦莱亚，P。 相关软件： SpaceEx；MPT；流量*… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
模块 39篇文献引用(1985–2018) 软件作者： 伯纳杜，M。；哈西姆，A。；Laug，P。；转向，D。；维德拉斯库，M。；E.萨尔特尔。 相关软件： mpi4py；UFL；宠物… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
第3页 36篇文献引用(2010–2023) 软件作者： 德米特里·佩库洛夫斯基 相关软件： FFTW；PFFT；2DECOMP… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ALCON公司 38篇文献引用(1986–2022) 软件作者： 邮政编码；P.Deufhard、P.Kunkel 相关软件： PITCON；纽顿图书馆；主页… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
算法731 37篇文献引用(1994–2019) 软件作者： J.G.Blom；P.A.Zegeling先生 相关软件： CWRESX公司；CWRESU；DASSL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
CVODES公司 36篇文献引用(2003–2023) 软件作者： 塞尔维亚人；A.C.欣德马什 相关软件： 日晷；ADIC；ADOL-C… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；数值分析（65-XX）…
CWRESU公司 37篇文献引用(1994–2019) 软件作者： 布洛姆，J.G。；Zegeling，宾夕法尼亚州。 相关软件： CWRESX；算法731；DASSL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
CWRESX公司 37篇文献引用(1994–2019) 软件作者： 布洛姆，J.G。；Zegeling，宾夕法尼亚州。 相关软件： CWRESU；算法731；DASSL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
黛西 32篇文献引用(2001–2022) 软件作者： B.De Moor、P.De Gersem、B.De Schutter、W.Favoreel 相关软件： FastICA；ICALAB；SLRA… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）…
珍妮特 37篇文献引用(2005–2021) 软件作者： Blinkov Y、Cid C、Gerdt V、Plesken W、Robertz D 相关软件： 单一；枫树；OreModules… 主要字段： 交换代数（13-XX）；群论和概括（20-XX）；偏微分方程（35-XX）…
沃夫兰 35篇文献引用(1999–2022) 软件作者： 埃里克，韦贝克；Wil M.P.范德阿尔斯特。 相关软件： PNML；咩咩叫；WSAT… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Clustal X公司 在25份文件中引用(2006–2022) 软件作者： Larkin，医学硕士。；Blackshields，G。；Brown，N。；Chenna，R。；Mcgettigan，P.A。；Mcwilliam，H。；瓦伦丁，F。；I.M.华莱士。；Wilm，A。；罗佩兹。 相关软件： ClustalW；肌肉；马夫特… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
GEPASI公司 引用于29份文件(1996–2016) 软件作者： P.门德斯 相关软件： 电子电话；虚拟细胞；诈骗… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
斯特马克 在28份文件中引用（2001年-2023年） 软件作者： Fabien A.P.Petitcolas、Ross J.Anderson、Markus G.Kuhn 相关软件： U-Net；亚当；禁忌搜索… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
ZQPCVX公司 34份文件引用（1985年至2022年） 软件作者： M.J.D.鲍威尔。 相关软件： QPSchur公司；QPOPT；MA57… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
迪纳摩 19份文件引用(2011–2023) 软件作者： 迪坎迪亚，G。；哈斯托伦，D。；Jampani，M。；Kakulapati，G。；拉克希曼，A。；Pilchin，A。；Sivasubramanian，S。；Vosshall，P。；沃格尔，W。 相关软件： 卡桑德拉；和弦；Bigtable… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
政治公众人物 30篇文献引用(1993–2014) 软件作者： L.Baldo、L.Fernandes、P.Roisenberg、P.Velho、T.Webber 相关软件： 蛋白胨；智能_；GTAEXPRESS… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DL_政策 在25份文件中引用(2000–2022) 软件作者： Smith，W。；Yong，C.W。；P.M.罗杰。 相关软件： 查姆；格罗姆克斯；DL_POLY_3… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；量子理论（81-XX）…
FracSym公司 33篇文献引用(2014–2023) 软件作者： 杰斐逊，G.F。；Carminati，J。 相关软件： 德索尔VII；ASP；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
PaStiX公司 引用于29份文件(2000–2023) 软件作者： Hénon，P。；Ramet，P。；罗曼，J。 相关软件： MUMPS；刻痕；梅蒂斯… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
千平方米 16篇文献引用(1996–2019) 软件作者： 蒂姆·菲宁（Tim Finin）、理查德·弗里茨森（Richard Fritzson）、唐纳德·普·麦凯（Donald P McKay）、罗宾·麦康蒂尔（Robin McEntire） 相关软件： 神童；Globus工具包；Qu-Prolog… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PMIRKDC公司 32篇文献引用(1996–2020) 软件作者： 缪尔，P.H。；潘彻，R.N。；K.R.杰克逊。 相关软件： MIRKDC；COLSYS公司；COLNEW… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
波塞冬 32篇文献引用(2020–2023) 软件作者： 格拉西（Grassi，L.）。；Kales，D。；Khovratovich，D。；罗伊，A。；Rechberger，C。；肖夫内格，M。 相关软件： MiMC；github；万岁… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；计算机科学（68-XX）…
TC-HAT公司 32篇文献引用(2008–2023) 软件作者： Thota，P.，Dankowicz，H。 相关软件： 幻灯片控制；自动；可可… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
午睡 26篇文献引用(2006–2023) 软件作者： Soler J.S.、Artacho E.、Gale J.D.、Garcia A.、Junquera J.、Ordejon P.、Sanchez-Portal D 相关软件： ONETEP；阿比尼特；OCTOPUS… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
马拉布 26篇文献引用(2021–2024) 软件作者： Katz，G.、Huang，D.A.、Ibeling，D.、Julian，K.、Lazarus，C.、Lim，R.、Shah，P.、Thakoor，S.、Wu，H.、ZeljíC，A.、Dill，D.L.、Kochenderfer，M.J.、Barrett，C。 相关软件： Reluplex；NNV；AI2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
卡桑德拉 22篇文献引用(2012–2023) 软件作者： Lakshman，A.，Malik，P。 相关软件： 发电机；Bigtable；MongoDB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
现场跳闸 21篇文献引用(2012–2023) 软件作者： R.Oostenveld、P.Fries、E.Maris、J.Schoffelen 相关软件： Matlab；头脑风暴；EEGLAB… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
PAKCS公司 在25份文件中引用(1994–2020) 软件作者： M.Hanus、S.Antoy、B.Braßel、M.Engelke、K.Höppner、J.Koj、P.Niederau、R.Sadre、F.Steiner 相关软件： 玩具；咖喱；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SPHinXsys公司 26篇文献引用(2021–2024) 软件作者： 张驰、马苏德·雷扎万、朱玉洁、余永川、吴栋、张文斌、王建航、胡香玉 相关软件： 双球面物理学；GADGET公司；幻影… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
ISTL公司 在25份文件中引用(2007–2021) 软件作者： M.Blatt；P.巴斯蒂安 相关软件： DUNE；DuMuX；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
反应途径 15篇文献引用(2008–2023) 软件作者： G.Joshi-Tope M.Gillespie；一、Vastrik；P.D’Eustachio；E.施密特；B.de Bono；B.贾萨尔；G.R.Gopinath；吴总；L.Matthews；S.Lewis；E.伯尼；L.斯坦因 相关软件： 凯格；生物导体；MetaCyc… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
时间 24篇文献引用(2002–2022) 软件作者： H.Carli、L.G.S.Duarte、L.A.C.P.da Mota 相关软件： Uppaal；LinMapTS；枫树… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；计算机科学（68-XX）…
Duali公司 26篇文献引用(1997–2020) 软件作者： 大卫·A·肯德里克。；马克·佩·图奇（Marco P.Tucci）。；Hans M.安曼。 相关软件： 双PC；Dynare公司；LMI工具箱… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；运筹学，数学规划（90-XX）…
盖泽博 21篇文献引用(2006–2023) 软件作者： Koenig，N。；H·霍华德。 相关软件： 活性氧；MuJoCo；转子… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）…
GNA公司 在25份文件中引用(2006–2021) 软件作者： Hidde de Jong、Johannes Geiselmann、Céline Hernandez、Michel Page 相关软件： 生物CHAM；RoVerGeNe；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
巴黎证券交易所 引用于7份文件(2010–2021) 软件作者： 比尼亚，C。；库马尔，S。；辛格，J.P。；Li，K。 相关软件： 溅射-2；ALPBench；LLVM… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
算法913 24篇文献引用(2011–2022) 软件作者： M.B.van Gijzen；P.Sonneveld公司 相关软件： BiCGstab；CGS；GpBiCg… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
GASP四 24篇文献引用(1974–2006) 软件作者： A.Alan B.Pritsker。 相关软件： SIMSCRIPT；Simula 67；DYNAMO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ROLMIP公司 24篇文献引用(2016–2024) 软件作者： Agulhari，C.M。；奥利维拉，R.C.L.F。；佩雷斯，P.L.D。 相关软件： YALMIP；莫塞克；SeDuMi… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
IRKC公司 23篇文献引用(2006–2023) 软件作者： Shampine，L.F.公司。；Sommeijer，B.P.公司。；J.G.韦尔。 相关软件： RKC；罗德斯；投票… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
libexact数据库 23篇文献引用(2008–2022) 软件作者： P.Kaski和O.Pottonen 相关软件： 鹦鹉螺；帝国；痕迹… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
海绵体 23篇文献引用(2001–2021) 软件作者： A.P.道伊德 相关软件： TETRAD公司；HdBCS；玻璃… 主要字段： 组合数学（05-XX）；范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）…
全球可编程只读存储器 18篇文献引用（1995年至2022年） 软件作者： Process Systems Enterprise Limited；巴顿，P。；潘特利德斯，C。 相关软件： Dymola；Modelica；Python… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NoMoRe公司 22篇文献引用(2001–2012) 软件作者： 愤怒，克里斯蒂安；Kathrin Konczak；托马斯·林奇 相关软件： 亚萨特；C模型；烟雾… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）
AmgX公司 16篇文献引用(2015–2023) 软件作者： Naumov，M。；阿萨耶夫，M。；卡斯通圭，P。；科恩，J。；J·德茅斯。；伊顿，J。；Layton，S。；马尔科夫斯基，N。；Reguly，I。；Sakharnykh，N。；塞拉潘，V。；斯特佐德卡，R。 相关软件： CUDA；炒作；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
咯咯笑 5份文件引用(2005–2011) 软件作者： Chervenak，A.，Deelman，E.，Foster，I.，Guy，L.，Hoschek，W.，Iamni tchi，A.，Kesselman，C.，Kunst，P.，Ripeanu，M.，Schwartzkopf，B.，Stockinger，H.，Stocking，K.，Tierney，B。 相关软件： 飞马座；尼姆罗德/G；OptorSim… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MCMAS-SLK公司 19份文件引用(2014–2021) 软件作者： 乔马克，P。；Lomuscio，A。；莫加韦罗，F。；A.穆拉诺。 相关软件： MCMAS；摩卡；鹰… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
开放式管道流量 18篇文献引用(2017–2024) 软件作者： 阿什利·P·威利斯 相关软件： FFTW；渠流；GitHub… 主要字段： 动力系统与遍历理论（37-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
薄膜包装 18篇文献引用(1998–2008) 软件作者： 霍斯蒂斯，E.N。；赖斯，J.R。；Weerawarana，S。；Catlin，A.C.公司。；帕帕奇乌，P。；Wang，K.-Y。；盖塔茨，M。 相关软件： ELLPACK；PYTHIA公司；拉帕克… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
上升 15篇文献引用(1993–2018) 软件作者： Piela，P.C.，Epperly，T.G.，Westerberg，K.M.，Wester berg，A.W 相关软件： AMPL；GAMS；Modelica… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
SQOPT公司 19份文件引用(2003–2023) 软件作者： P.E.Gill、W.Murray、M.A.Saunders 相关软件： SNOPT；CUTEst公司；qpOASES… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
瓦伦西亚 19份文件引用(2008–2020) 软件作者： A.劳赫；霍弗，E.P。；E.奥尔。 相关软件： ValEncIA-IVP；舒适的；FADBAD++… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
EPDCOL公司 18篇文献引用(1991–2019) 软件作者： 基斯特，P。；P.H.缪尔。 相关软件： PDECOL；科尔；CWRESX… 主要字段： 偏微分方程（35-XX）；积分方程（45-XX）；数值分析（65-XX）…
IML-整数矩阵库 18篇文献引用(2005–2023) 软件作者： Z.Chen；A.Storjohann；科里·弗莱彻 相关软件： LinBox；4ti2；PipLib… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
物理细胞 16篇文献引用(2019–2024) 软件作者： Ghaffarizadeh，A。；Heiland，R。；SH弗里德曼；Mumenthaler，SM；马克林，P。 相关软件： 贞洁；生物纤维；CellSys… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
SPACAR公司 18篇文献引用(1991–2023) 软件作者： J.B.Jonker；J.P.Meijaard；Van Soest，A.J。；施瓦布，A.L。；博伯特，M.F。；Van Ingen Schenau，G.J。 相关软件： Simulink；任何人；BCCG+FAI… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
P-FCM公司 10篇文献引用（2003年至2021年） 软件作者： Loia，V。；佩德里茨，W。；Senatore，S。 相关软件： UCI-ml；缓解F；威卡… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
赫梅尔布 15篇文献引用（2008年至2024年） 软件作者： Mazzeo，医学博士。；柯文尼，P.V。 相关软件： 墨菲；帕拉博斯；OpenLB… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…