微分方程.jl 76篇文献引用(2018–2024) 软件作者： C.Rackauckas，Q.Nie 相关软件： 中性PDE.jl；朱莉娅；GitHub… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
S-TaLiRo公司 26篇文献引用（2011年-2023年） 软件作者： Annpureddy，Yashwanth；刘，车；费内科斯（Fainekos，Georgios）；桑卡拉纳拉亚南，斯里拉姆 相关软件： 违约；SpaceEx；流量*… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
埃米利 8份文件引用(2019–2024) 软件作者： 费德里科·帕格诺齐；托马斯·施图策尔 相关软件： irace；萨滕斯坦；帕拉米尔斯… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
ProbReach公司 9份文件引用(2015–2023) 软件作者： 费多·什马罗夫（Fedor Shmarov）；保罗·祖利亚尼 相关软件： SReachTools；AMYTISS公司；静止… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
斯托克Hy 8份文件引用(2019–2023) 软件作者： Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件： 棱镜；FAUST2；SReachTools… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
SIDNUR公司 7份文件引用(2014–2021) 软件作者： 皮肖特、盖拉尔丁；巴普蒂斯特·波里兹；Jocelyne Erhel；Jean-Raynald De Dreuzy 相关软件： dfn工程；三角形；redbKIT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
人力资源安全分析 6篇文献引用(2016–2019) 软件作者： 卢卡·马切蒂（Luca Marchetti）；科拉多·普里亚米；Vo Hong Thanh先生 相关软件： H刺激因子；COPASI；步骤… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
sbioPN公司 6篇文献引用（2012年至2022年） 软件作者： 罗伯托·贝托卢索；基梅尔 相关软件： SPPARKS公园 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；生物学和其他自然科学（92-XX）
SR每个 5份文件引用(2015–2022) 软件作者： Q.Wang、P.Zuliani、S.Kong、S.Gao、E.M.Clarke 相关软件： ProbReach；p面；SReachTools… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HSIM公司 3份文件引用(2012–2023) 软件作者： 帕特里克·阿马尔（Patrick Amar）；洛伊奇·波列维 相关软件： 生物CHAM 主要字段： 积分方程（45-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
西塔 2份文件引用(2015–2021) 软件作者： 乔蒂莫·德斯穆赫（Jyotirmoy Deshmukh）；金小青；詹姆斯·卡宾斯基（James Kapinski）；奥德·马勒 相关软件： 违约；S-TaLiRo；自适应压力测试.jl… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
H模拟器 2份文件引用(2017–2019) 软件作者： 卢卡·马切蒂（Luca Marchetti）；罗萨里奥·伦巴多；科拉多·普里亚米 相关软件： 人力资源安全分析；步骤；科帕西 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
THOR公司 1份文件引用(1995) 软件作者： K.C.Mundim，P.G.Pascutti；P.M.比施 相关软件： – 主要字段： 动力系统与遍历理论（37-XX）；生物学和其他自然科学（92-XX）