R（右） 9676份文件引用（1978年至2024年） 软件作者： 哈德利·威克姆；先生，罗伯特；罗斯·伊哈卡（Ross Ihaka）；约翰·钱伯斯（John M.Chambers）。；威廉·N·维纳布尔斯。；布莱恩·里普利。 相关软件： CRAN；SAS；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
蟒蛇 1429年文献引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Gms小时 968份文件中引用(2003–2024) 软件作者： Christophe Geuzaine，Jean-François Remacle 相关软件： FEniCS；PETSc；ParaView… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
朱莉娅 652份文件引用(2014–2024) 软件作者： Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件： JuMP；github；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
阿尔戈60 654份文件引用(1959–2024) 软件作者： Naur，P。；巴克斯，J.W。；等。 相关软件： ALGOL 68；欧拉；损益表… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
艾菲尔 234篇文献引用(1989–2023) 软件作者： 贝特朗·梅耶 相关软件： JML；Smalltalk；规范#… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JML公司 161份文件引用(2000–2023) 软件作者： 加里·利文斯（Gary T.Leavens）；Yoonsik Cheon公司 相关软件： 规范#；埃菲尔；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CASL公司 174篇文献引用(1999–2023) 软件作者： 蒂尔·莫萨科夫斯基 相关软件： OBJ咖啡馆；赫茨；莫德… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
重新记录 171篇文献引用(1997–2024) 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯图尔姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；灌篮；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
低成本融资 164篇文献引用(1972–2024) 软件作者： 罗宾·米尔纳 相关软件： Coq；毫升；HOL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
米兰达 155份文件引用(1985–2023) 软件作者： D.A.特纳。 相关软件： 哈斯克尔；毫升；清洁… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
OBJ3型 140篇文献引用(1989–2023) 软件作者： J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud；（基尼里） 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
网络徽标 98篇文献引用(2007–2024) 软件作者： Elizabeth Sklar；塞斯·蒂苏；乌里·威伦斯基 相关软件： Matlab；Boids；Python… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
CVXPY公司 115篇文献引用(2016–2024) 软件作者： 史蒂文·戴蒙德；斯蒂芬·博伊德 相关软件： ECOS；CVX；Mosek… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Risa/Asir公司 122篇文献引用(1992–2024) 软件作者： 北野正彦、横山和弘、竹岛高、下山竹石、安井广志、，Takayuki Kando、Tomokatsu Saito、Yuji Kondoh、Hirokazu Murao、Thomas Sturm、Katsuyoshi Ohara、Nobuki Takayama（致力于基础设计、内核源代码和核心库）。关于库的提交者和最近的贡献者，请参见http://www.math.kobe-u.ac.jp/OpenXM/people.html富士通实验室或asir.org或神户大学。 相关软件： 单一；麦考利2号；Kan… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl公司；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
列表-统计 88篇文献引用(1977–2019) 软件作者： 卢克·蒂尔尼 相关软件： R；远景；XGobi… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
SICStus公司 94份文件引用(1992–2024) 软件作者： Mats Carlsson，每米尔德纳 相关软件： SWI-预测；Ciao；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
GiNaC公司 92份文件引用(2002–2024) 软件作者： 欧洲专利局（EPO）；C.W.Bauer、A.Frink、R.Kreckel 相关软件： 表格；雷杜泽；火灾… 主要字段： 复变量函数（30-XX）；几何（51-XX）；数值分析（65-XX）…
斯卡拉 88篇文献引用(2005–2023) 软件作者： Christos K.K.Loverdos。；阿波斯托洛斯·西罗普洛斯 相关软件： Coq；z3；轻量级Java… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
山茶花 97篇文献引用(2001–2023) 软件作者： 青木，Kazumaro；铁杉一川；神田、Masayuki；松井、三井；森井、希荷；中岛俊子；Tokita、Toshio 相关软件： 克利夫亚；现在；方形… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
仙人掌 70篇文献引用(2000–2023) 软件作者： 汤姆·古代尔；加布里埃尔·艾伦；Gerd Lanfermann；Joan Masso；托马斯·雷德克；爱德华·塞德尔（Edward Seidel）；约翰·沙尔夫 相关软件： 地毯；爱因斯坦工具包；Chombo… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
克拉姆 65篇文献引用(2000–2023) 软件作者： 德尼古拉，R。；法拉利，G.L。；Pugliese，R。 相关软件： 琳达；克拉瓦；SCEL… 主要字段： 数学逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）…
进展 52篇文献引用(1994–2022) 软件作者： 曼弗雷德·穆奇；安迪·舒尔（Andy Schürr）；安德烈亚斯·温特。 相关软件： AGG；富贾巴；VIATRA2… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
TTTPLOTS公司 70篇文献引用(2007–2024) 软件作者： Aiex，Renata M。；里森德，毛里西奥·G·C。；塞尔索·C·里贝罗。 相关软件： PERL；GRASP；irace… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
根 34份文件引用(2001–2023) 软件作者： 勒内·布伦；天线制造商 相关软件： PYTHIA8；GEANT4；Python… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Ciao公司 56篇文献引用(1999–2022) 软件作者： Bueno，F.，Cabeza，D.，Carro，M.，Hermenegildo，M.、López-García，P.、Puebla，G。 相关软件： CiaoPP；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
信号 51篇文献引用(1987–2020) 软件作者： 大卫·诺瓦克；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
X减少 53篇文献引用(2003–2020) 软件作者： Haruo Hosoya，Benjamin C.Pierce（本杰明·皮尔斯） 相关软件： CDuce；XPath；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
奶牛 46篇文献引用(2007–2020) 软件作者： 亚历山德罗·拉帕杜拉；罗萨里奥·普格利泽；弗朗西斯科·蒂齐 相关软件： 自旋蛋白；CC-Pi；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
CDuce公司 48篇文献引用(2003–2020) 软件作者： 本扎肯，维罗尼克；朱塞佩·卡斯塔尼亚；阿兰·弗里希 相关软件： XDouce；XQuery；XPath… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TALx86 引用于44份文件(1998–2022) 软件作者： Greg Morrisett、Karl Crary、Neal Glew、Dan Grossman、Richard Samuels、Frederick Smith、David Walker、Stephanie Weirich、Steve Zdancewic 相关软件： Coq；毫升；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
数字 48篇文献引用(1998–2023) 软件作者： van Hentenryck，P.，Deville，Y.，Michel，L。 相关软件： 进入PT_90；实摊铺机；BARON… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
感觉++ 40篇文献引用(1999–2023) 软件作者： 克里斯托夫·普鲁德霍姆（Christophe Prud’homme）、文森特·查班内斯（Vincent Chabannes）、圣埃芬·韦斯（Stéphane Veys）、阿卜杜拉耶·萨姆克（Abdoulay Samake）、塞西莉·达沃森（Cecile Daversin）、克里斯托夫·特罗菲姆（Christphe Trophime）、贡卡洛·佩纳（Goncalo Pena）、纪尧姆·多利（Guillau 相关软件： PETSc；交易.ii；FreeFem++… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
阿斯毫升 45篇文献引用(2001–2023) 软件作者： 微软研究；格里斯坎普，W。；古雷维奇·Y。 相关软件： 毫升；SpecExplorer；科拉特… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
nuXmv（数字） 引用于44份文件(2015–2023) 软件作者： 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件： z3；NuSMV；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
CoFI公司 40篇文献引用(1997–2017) 软件作者： 彼得·莫塞斯（Peter D.Mosses）。 相关软件： CASL；ATERM；玛雅… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；一般代数系统（08-XX）…
马塞马吉克斯 42篇文献引用(2006–2021) 软件作者： 乔里斯·范德霍温、格雷戈伊尔·勒塞夫、伯纳德·穆兰 相关软件： gmp；枫树；FLINT… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
GHC公司 36篇文献引用(1986–2014) 软件作者： 上田，Kazunori 相关软件： PARLOG；基马；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
系统C 29篇文献引用(2002–2017) 软件作者： 布莱克，大卫·C。；杰克·多诺万。 相关软件： 皮纳帕；LusSy；酯类… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
SMIL公司 10篇文献引用(2001–2016) 软件作者： W3.org网站 相关软件： XPath；卢阿；SPARQL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；数学教育（97-XX）
S+小波 37篇文献引用(1997–2022) 软件作者： 安德鲁·G·布鲁斯；红叶高 相关软件： glmnet；PDCO；稀疏… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
短讯服务 38篇文献引用(1997–2023) 软件作者： 乔·科勒克 相关软件： Mathematica；AceFEM；AceGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
线轴 38篇文献引用(2000–2017) 软件作者： Ashcraft，C.、Pierce，D.、Wah，D.K.、Wu，J。 相关软件： METIS公司；MUMPS；ScaLAPACK… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
莫塞尔 37篇文献引用(2003–2021) 软件作者： Fair Isaac公司；科伦巴尼·Y、海普克·S。 相关软件： XPRESS；AMPL；游戏… 主要字段： 总体主题；藏品（00-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
MPM3D（MPM3D） 36篇文献引用(2011–2023) 软件作者： 清华大学 相关软件： MPM3DMP；卡拉梅洛；LS-DYNA… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
SeaHorn公司 36篇文献引用(2015–2023) 软件作者： Gurfinkel，A.，Kahsai，T.，Komuravelli，A.，Navas，J.A。 相关软件： z3；垫片；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
防抱死制动系统 32篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
NRL公司 在30份文件中引用(1996–2022) 软件作者： 凯瑟琳·梅多斯 相关软件： 莫德；AVISPA；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
质量管理清单 32篇文献引用(2007–2023) 软件作者： 托尔斯滕·阿滕柯奇；乔纳森·格拉塔奇 相关软件： QPL；奎珀；qGCL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几个复变量和分析空间（32-XX）…
自动教程 5份文件引用(2001–2021) 软件作者： 亚瑟·C·格雷瑟。；卢、舒兰；乔治·坦纳（George Tanner）·杰克逊（Jackson）；米切尔、希瑟·海特；马修·文图拉（Mathew Ventura）；安德鲁·奥尼（Andrew Olney）；卢沃斯，马克斯·M。 相关软件： LIBSVM；汗学院；科姆特… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
KQML公司 16篇文献引用(1996–2019) 软件作者： 蒂姆·菲宁（Tim Finin）、理查德·弗里茨森（Richard Fritzson）、唐纳德·普·麦凯（Donald P McKay）、罗宾·麦康蒂尔（Robin McEntire） 相关软件： 神童；Globus工具包；Qu-Prolog… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
奥德赛 32篇文献引用(1996–2016) 软件作者： 罗斯坦，N.，达尔马斯，S.，加利戈，A 相关软件： ADIFR；TAMC；ADOL-C… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
dSPIN公司 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
福赛特 29篇文献引用(1990–2022) 软件作者： 约翰·雷诺兹 相关软件： 毫升；斯卡拉；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
SRILM公司 6篇文献引用(2005–2015) 软件作者： 安德烈亚斯·斯托尔克 相关软件： BLEU；摩西；WordNet… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
犀牛 26篇文献引用(2004–2023) 软件作者： Robert McNeil&Associates公司 相关软件： ISOGAT；蚱蜢；LS-DYNA… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
URDME公司 25篇文献引用(2009–2023) 软件作者： Drawert，B.，Engblom，S.，Hellander，A。 相关软件： MesoRD；步骤；斯莫尔丁… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
锌 28篇文献引用(2005–2022) 软件作者： Kim万豪酒店；尼赫科特，尼古拉斯；雷扎·拉斐；Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；马克·华莱士 相关软件： 本质；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-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）…
电子唱片 23篇文献引用(1998–2016) 软件作者： 罗伯特·克拉克；安娜·莫雷拉 相关软件： CADP；自旋蛋白；LOTOS… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
OilEd公司 24篇文献引用(2001–2008) 软件作者： 肖恩·贝赫霍夫（Sean Bechhofer）；伊恩·霍洛克斯（Ian Horrocks）；卡罗尔·高布尔（Carole Goble）；罗伯特·史蒂文斯 相关软件： OntoEdit；赛车手；保护… 主要字段： 数学逻辑与基础（03-XX）；算子理论（47-XX）；统计学（62-XX）…
繁荣 23篇文献引用(2000–2009) 软件作者： Louise A.丹尼斯。；格雷厄姆·柯林斯；迈克尔·诺里什（Michael Norrish）；理查德·博尔顿（Richard Boulton）；斯林德，康拉德；格雷厄姆·罗宾逊（Graham Robinson）；迈克·戈登；汤姆·梅尔姆 相关软件： PVS；OMRS；甘道夫… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
概念 23篇文献引用(2002–2022) 软件作者： 菲利普·弗劳恩费尔德；克里斯蒂安·拉格 相关软件： Gmsh；交易.ii；HP90… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
PolyTOIL公司 19份文件引用(1997–2014) 软件作者： Bruce，K.，Schuett，A.，van Gent，R.，Fiech，A。 相关软件： 羽量级Java；埃菲尔；测试版… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
JCell公司 14篇文献引用(2008–2021) 软件作者： 贝尔纳贝多朗索罗 相关软件： j金属；SPEA2；MOEA/D… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；运筹学，数学规划（90-XX）…
霍尔-奥尔 13份文件引用(2002–2016) 软件作者： 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 相关软件： ATL；凯伊；ETPS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
液体 13份文件引用（2018年-2023年） 软件作者： Dave Wecker、Krysta M.Svore 相关软件： qHiPSTER；项目Q；Python… 主要字段： 数论（11-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
本地化程序 21篇文献引用(1999–2021) 软件作者： 劳伦特·米歇尔（Laurent Michel）；帕斯卡·范·亨特利克 相关软件： 彗星；SALSA；EasyLocal++… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；通用拓扑（54-XX）…
PAG公司 20篇文献引用(1996–2018) 软件作者： 弗洛里安马丁 相关软件： NINJA公司；BLAS；MPI/MPICH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）…
SCEL公司 18篇文献引用(2014–2023) 软件作者： 洛科·德·尼古拉（Rocco De Nicola）、迭戈·拉特拉（Diego Latella）。阿尔贝托·卢奇·拉富恩特、米歇尔·洛雷蒂、安德烈亚·马格里、梅克·马森克、安德烈娅·莫里切塔、罗萨里奥·普格利泽、弗朗西斯科·蒂齐、安德烈·范丁 相关软件： 科莱姆；莫德；CARMA… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
雪 21篇文献引用(2006–2022) 软件作者： 卢克·蒂尔尼（Luke Tierney）；罗西尼，A.J。；李娜 相关软件： 雪；R；接收… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
ISETL公司 9份文件引用(1989–2002) 软件作者： 埃德·杜宾斯基 相关软件： 间隙；Mathematica；枫树 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；群论与推广（20-XX）…
莫扎特 15篇文献引用(1999–2018) 软件作者： 彼得·范罗伊；塞夫·哈里迪 相关软件： 奥兹；CPLEX；芯片… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SCADE公司 14篇文献引用(2001–2019) 软件作者： 杰拉德·贝里；Esterel技术公司 相关软件： Simulink；卢斯特；酯类… 主要字段： 计算机科学（68-XX）；系统理论；控制（93-XX）
ArchJava建筑 10篇文献引用(2002–2017) 软件作者： 乔纳森·奥尔德里奇；钱伯斯，克雷格；大卫·诺金 相关软件： SOFA 2.0；宽带；UMLDiff… 主要字段： 计算机科学（68-XX）
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·迪维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
克拉瓦 18篇文献引用(2002–2020) 软件作者： 洛伦佐·贝蒂尼；德尼古拉（De Nicola）、罗科（Rocco）；罗萨里奥·普格利泽 相关软件： 科莱姆；琳达；石灰… 主要字段： 计算机科学（68-XX）
德尔芬 17篇文献引用(2003–2020) 软件作者： Schürmann，C.、Fontana，R.、Liao，Y.、Poswolsky，A。 相关软件： Twelf；Coq；白鲸… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
万向节 13份文件引用(1999–2022) 软件作者： GIMP团队 相关软件： R；ImageMagick；Ghostscript… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
打开Fst 18篇文献引用(2007–2024) 软件作者： 西里尔·阿劳赞（Cyril Allauzen）；迈克尔·莱利；Johan Schalkwyk；斯库特，沃伊切赫；梅赫里亚·莫赫里 相关软件： Vaucanson；自由演讲；卡尔迪… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ASTRAL公司 16篇文献引用(1992–2006) 软件作者： 贾科莫·博纳诺；科恩·波里西尼，阿尔贝托；威廉·福纳西亚里 相关软件： 克罗诺斯；Uppaal；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）
核心ASM 13份文件引用(2007–2021) 软件作者： Farahbod，Roozbeh；文森佐，格尔瓦西；乌韦·格拉塞尔（Glässer，Uwe）；妈妈，乔治 相关软件： 法尔科；罗丹；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HARP（HARP） 15篇文献引用(1990–2020) 软件作者： Opacher，F。；翻毛皮，E 相关软件： SETHEO公司；TPTP；3TAP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HasCasl公司 17篇文献引用(2002–2015) 软件作者： Lutz Schr“oder；Till Mossakowski 相关软件： CASL；哈斯克尔；Hets… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
伦敦商学院 16篇文献引用(2010–2022) 软件作者： 迈克尔·佩德森（Michael Pedersen）；戈登·普洛金（Gordon D.Plotkin）。 相关软件： 生物-PEPA；BioNetGen公司；生物活性炭… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
大都市 7份文件引用(2006–2018) 软件作者： Balarin F、Watanabe Y、Hsieh H、Lavagno L、Passerone C、Sangiovanni-Vincentelli A 相关软件： 托勒密；里奥；LUSTRE… 主要字段： 计算机科学（68-XX）；系统理论；控制（93-XX）
皮科拉 16篇文献引用(1999–2017) 软件作者： 弗兰茨·阿赫尔曼（Franz Achermann）；朗佩，马库斯；施耐德，Jean-Guy；奥斯卡·尼尔斯特拉斯 相关软件： 里奥；琳达；图片… 主要字段： 计算机科学（68-XX）
PySCF公司 9份文件引用(2019–2023) 软件作者： 孙启明、蒂莫西·C·伯克巴赫、尼克·S·布朗特、乔治·H·布斯、郭盛、李振东、刘俊姿、詹姆斯·麦克莱恩、桑迪普·夏尔马、塞巴斯蒂安·沃特斯、加内特·金立克·陈 相关软件： 蟒蛇；SciPy；QISIt… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…