苏普雷米卡 26篇文献引用（2009年-2023年） 软件作者： 克努特·阿克森；马丁·费边（Martin Fabian）；雨果·弗洛达尔；罗比·马利克 相关软件： UMDES；TCT；NuSMV… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
群组工具包 2份文件引用(2003–2009) 软件作者： 罗斯曼M。；格林伯格S。 相关软件： 脱咖啡因咖啡；PlanEdit；科莱姆… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
MESSI公司 24篇文献引用(2018–2023) 软件作者： 梅赛德斯·佩雷斯·米兰（Mercedes Pérez Milán）、艾丽西娅·狄肯斯坦（Alicia Dickenstein） 相关软件： REDLOG；QEPCAD；枫树… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；常微分方程（34-XX）…
特拉沃斯 15篇文献引用(2007–2022) 软件作者： W.T.Luke Teacy、Jigar Patel、Nicholas R.Jennings、Michael Luck 相关软件： RDF2vec；JGraphT；算法97… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MonodromySolver公司 18篇文献引用(2018–2024) 软件作者： 蒂莫西·达夫（Timothy Duff）、Cvetelina Hill、安德斯·延森（Anders Jensen）、基桑·李（Kisun Lee）、安东·莱金（Anton Leykin）、杰夫·索马斯（Jeff Sommars） 相关软件： 贝尔蒂尼；PHCpack；麦考利2… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
表面贴装 13份文件引用(2008–2019) 软件作者： Michela Redivo Zaglia；朱塞佩·罗德里格斯 相关软件： 正规化工具；Matlab；drsolve… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）…
崔弟 14篇文献引用(2016–2023) 软件作者： 蒂姆，M。 相关软件： DiArg；LARS；Clingo… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
索波尔 12份文件引用(2018–2023) 软件作者： Zhang，X.-Y.，Trame，M.N.，Lesko，L.J.，Schmidt，S 相关软件： SALib公司；Matlab；探索性建模工作台… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；流体力学（76-XX）…
DeepFlow公司 9份文件引用(2015–2021) 软件作者： P.Weinzaepfel、J.Revaud、Z.Harchaoui、C.Schmid 相关软件： EpicFlow；FlowNet；SIFT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
社会可视化者 8份文件引用(2007–2013) 软件作者： 亚历山大·阿提基斯；马雷克·塞尔戈特（Marek Sergot）；杰里米·皮特 相关软件： 岛国；CCalc；NuSMV… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
RealPlan（实际计划） 9份文件引用(2001–2008) 软件作者： 斯利瓦斯塔瓦，比普拉夫；Subbarao Kombhampati；做，明B。 相关软件： 图形平面图；STAN；CPlan… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
SimLean公司 7份文件引用(2012–2021) 软件作者： Stewart Robinson；Zoe J.Radnor。；尼古拉·伯吉斯；克莱尔·沃辛顿 相关软件： PartiSim；MADM；APOSTLE… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
资产负债管理 8份文件引用（2012年至2020年） 软件作者： Daniela Inclezan、Michael Gelfond 相关软件： 人民；VerbNet；CCalc… 主要字段： 计算机科学（68-XX）
隔间 7份文件引用(2005–2019) 软件作者： B.E.夏皮罗、A.列夫琴科、E.M.梅耶洛维茨、B.J.沃尔德、E.D.姆约尔斯内斯。 相关软件： Mathematica；生物CHAM；STOCHSIM… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
VMC公司 5份文件引用(2015–2020) 软件作者： 莫里斯·比克。；弗朗科·马扎蒂（Franco Mazzanti）；阿尔迪·苏洛娃 相关软件： DeltaCCS；MSTA；mCRL2… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
生物-PEPAd 4份文件引用(2012–2015) 软件作者： 朱利奥·卡拉瓦尼亚；简·希尔斯顿 相关软件： 生物-PEPA；LBS；棱镜… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
p3增量 5份文件引用(2021–2023) 软件作者： 布萨达，伊斯兰；吉列尔梅，马赞蒂；尼古列斯库，西尔维乌·尤利安；朱利安·休恩；Sim，Franck；托马斯·马蒂厄 相关软件： DLMF；粘合剂2.0；蟒蛇 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；系统论；控制（93-XX）
浆果 4份文件引用（2012年至2020年） 软件作者： Courtier P、Freydier C、Geleyn J、Rabier F、Rochas M 相关软件： HOS-NWT；METIS公司；宇宙… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
绑定_图形_心脏_AP 4份文件引用(2018–2022) 软件作者： 迈克尔·潘（Michael Pan）；彼得·加思罗普（Peter J.Gawthrop）。；Tran，Kenneth；约瑟夫·柯森（Joseph Cursons）；Edmund J.克拉宾。 相关软件： MTT公司 主要字段： 生物学和其他自然科学（92-XX）
无线电控制系统 引用于3份文件(2017–2020) 软件作者： 朱里·辛兹（Juri Hinz）；耶，杰里米 相关软件： R；纳博尔；卢比 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
强盗nmt 2份文件引用(2021) 软件作者： Khanh Nguyen、Hal DauméIII、Jordan Boyd-Graber 相关软件： 雅高；单词2vec；Freebase… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
版次TPL 引用于3份文件(2022–2023) 软件作者： 劳拉·博奇（Laura Bocchi）；伊凡·拉内斯；梅齐娜、克劳迪奥·安塔雷斯；袁，Shoji 相关软件： ProVerify公司 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
对称 引用于3份文件(2000–2006) 软件作者： 盖特曼，K。 相关软件： 麦考利2号；枫树；殷钢… 主要字段： 交换代数（13-XX）；动力系统与遍历理论（37-XX）；整体分析，流形分析（58-XX）…
抛弃 2份文件引用(1998–2002) 软件作者： B.C.Garrett、G.C.Lynch、T.C.Allison、D.G.Truhlar 相关软件： 多酸盐；VENUS96；VARIFLEX… 主要字段： 经典热力学，传热（80-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
GillesPy公司 2份文件引用(2021–2022) 软件作者： J.H.Abel、B.Drawert、A.Hellander和L.R.Petzold 相关软件： 斯托奇派；VODE（旁白） 主要字段： 近似和展开（41-XX）；概率论与随机过程（60-XX）；生物学和其他自然科学（92-XX）…
GIS-EEDB公司 2份文件引用(2013–2015) 软件作者： 卡林尼科夫，I.I。；Mikheeva，A.V.公司。 相关软件： —— 主要字段： 计算机科学（68-XX）；地球物理学（86-XX）
榛子 2份文件引用(2017) 软件作者： 奥马尔、赛勒斯；伊恩·沃西（Ian Voysey）；迈克尔·希尔顿；乔纳森·奥尔德里奇；马修·哈默（Matthew A.Hammer）。 相关软件： 甲基丙烯酸甲酯；js_of_ocaml；mbeddr… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
H模拟器 2份文件引用(2017–2019) 软件作者： 卢卡·马切蒂（Luca Marchetti）；罗萨里奥·伦巴多；科拉多·普里亚米 相关软件： 人力资源安全分析；步骤；科帕西 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
混合波动 1份文件引用(2015) 软件作者： 奥利维尔·布伊苏；埃里克·古鲍特（Eric Goubault）；Sylvie推杆；卡里姆·特卡尔；弗兰克·维德琳 相关软件： GRK标签 主要字段： 计算机科学（68-XX）
神经网络状态 2份文件引用(2018–2023) 软件作者： 纳胡埃尔·弗雷塔斯；乔瓦娜·莫里吉；韦德兰Dunjko 相关软件： 奥普图纳；Hyperopt；github 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）
SMPDB公司 1份文件引用（2018年） 软件作者： Jewison T、Su Y、Disfany FM等人 相关软件： 动态记录仪；gplots；否定… 主要字段： 生物学和其他自然科学（92-XX）
SymboLie符号 2份文件引用(2023) 软件作者： 卢卡·阿玛塔；弗朗西斯科·奥利维里 相关软件： 一个最优系统；Mathematica；枫树 主要字段： 非结合环与代数（17-XX）；偏微分方程（35-XX）；计算机科学（68-XX）
托瓦兹 2份文件引用(2023) 软件作者： Hyukpyo Hong；埃尔南德斯（Bryan S.Hernandez）。；金素（Kim，Jinsu）；金在京 相关软件： github 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；生物学和其他自然科学（92-XX）
Beatbox公司 1份文件引用(2016) 软件作者： 罗斯·麦克法兰；比克塔舍娃四世 相关软件： 心脏；刻痕；GitHub… 主要字段： 可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）
BMCSER公司 1份文件引用(2016) 软件作者： 尼古拉·基尔科奇耶夫（Nikolay Kyurkchiev）；马尔科夫，斯维托斯拉夫；玛雅·明切瓦 相关软件： 数学软件 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；生物学和其他自然科学（92-XX）
灵活 1份文件引用(2015) 软件作者： Siso-Nadal，F.，Ollivier，J.F.，Swain，P.S。 相关软件： 数字Py；失水事故；VirtualLeaf… 主要字段： 生物学和其他自然科学（92-XX）
InstQL公司 1份文件引用(2010) 软件作者： 卢克·霍普顿（Luke Hopton）；欧文·克利夫（Owen Cliffe）；玛丽娜·德沃斯；朱利安·帕吉特 相关软件： 斯莫德尔斯 主要字段： 计算机科学（68-XX）
拉西 1份文件引用(2019) 软件作者： Tangherloni A、Nobile MS、Besozzi D、Mauri G、Cazzaniga P 相关软件： sva；KLU；FATODE… 主要字段： 生物学和其他自然科学（92-XX）
马德拉斯 在0个文档中引用 软件作者： 阿尼尔班·桑塔拉；鲁德拉，Sohan；布里迪，Sree Aditya；考希克、梅哈；阿比舍克·奈克；巴拉特·考尔；巴拉拉曼·拉文德兰 相关软件： Deepdrive；ChauffeurNet；卡拉… 主要字段： 计算机科学（68-XX）
百万铝 1份文件引用(2013) 软件作者： 奇塔·巴拉尔；格雷戈里·盖尔丰德（Gregory Gelfond）；恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao 相关软件： —— 主要字段： 计算机科学（68-XX）
MASSpy公司 在0个文档中引用 软件作者： 扎卡里·B·海曼；丹尼尔·齐林斯基；小池裕子；詹姆斯·特尤科维奇（James T Yurkovich）；伯恩哈德·奥帕尔森 相关软件： SBW；LibSBMLSim；RunBioSimulations… 主要字段： ——
优化的DP 在0个文档中引用 软件作者： Minh Bui、George Giovanis、Mo Chen、Arrvindh Shriraman 相关软件： 异丙基氯；POMDPs.jl；TVM… 主要字段： ——
PolyChaos公司 在0个文档中引用 软件作者： Tillmann Mühlpfordt、Frederik Zahn、Veit Hagenmeyer、Timm Faulwasser 相关软件： UQTk；微分方程.jl；UQLab… 主要字段： ——