HYSDEL公司 41篇文献引用(2003–2023) 软件作者： 法比奥·达尼洛·托里西（Fabio Danilo Torrisi）、阿尔贝托·本普拉德（Alberto Bempoad）、乔埃勒·贝尔蒂尼（Giole Bertini）、彼得·赫塔奇（Peter Hertach）、多米尼克·约斯特（Dominic Jost）、多 相关软件： 混合工具箱；CPLEX；高科技… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
普罗米拉 30篇文献引用(1997–2022) 软件作者： Natarajan，V。；杰拉德·J·霍尔兹曼。 相关软件： 自旋蛋白；jSpin；ProB… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
DeepProbLog（深度探测日志） 18篇文献引用(2020–2023) 软件作者： 罗宾·曼哈夫、塞巴斯蒂安·杜曼奇奇、安吉丽卡·金米格、托马斯·德梅斯特、吕克·德雷特 相关软件： ProbLog；NeurASP；亚当… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
亚当 10篇文献引用(2011–2023) 软件作者： Hinkelmann F、Brandon M、Guang B、McNeill R、Blekherman G、Veliz-Cuba A、Laubenbacher R 相关软件： 麦考利2号；金西姆；BoolNet… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）…
ORL公司 10篇文献引用(2018–2023) 软件作者： 鲁丁、辛西娅；埃尔特金，⑩eyda 相关软件： UCI-ml；C4.5；Scikit… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
AUTODYN-3D 7份文件引用(2000–2011) 软件作者： ANSYS有限元分析软件 相关软件： 树；LS-DYNA；MPM3D… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
千对数 6篇文献引用(2014–2022) 软件作者： 保罗·弗雷斯科尼；Costa，Fabrizio；Luc De Raedt；库尔特·德·格雷夫 相关软件： ProbLog；PyTorch；阿莱夫… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
比例6.2 6篇文献引用(2015–2021) 软件作者： 里尔登，B。；列斐伏尔，R。；Lefebvre，J。；克拉诺，K。；威廉姆斯，M。；Petrie，L。；美国Mertyurek。 相关软件： 德诺沃；特里利诺斯；比例… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
仄洛斯 6篇文献引用(2013–2023) 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；Mang，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
狮身人面像 5份文件引用(2006–2017) 软件作者： 胡松松（Hosung Song） 相关软件： PHAVer；高科技；旋转… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
LLFp公司 4份文件引用(2016–2019) 软件作者： Furio Honsell；路易吉·利库里；马克西莫维奇，佩塔；伊万·斯卡格内托 相关软件： 辅酶q；毫米波；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
生物质量管理 1份文件引用(2022) 软件作者： A.纳尔迪。 相关软件： PyBoolNet；BoolNet；Potassco… 主要字段： 阶、格、有序代数结构（06-XX）；生物学和其他自然科学（92-XX）
加拿大国家航空公司 1份文件引用(2020) 软件作者： 里昂·布拉蒂格·科雷亚（Rion Brattig Correia）；亚历山大·盖茨（Alexander J.Gates）；王宣；路易斯·罗查 相关软件： 多步控制；GitHub；亚当… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
订单记录注册 1份文件引用(2015) 软件作者： Wolf，Bethany J。；Elizabeth H.Slate。；伊丽莎白·希尔。 相关软件： LogicReg；CRAN；rpartScore… 主要字段： 统计学（62-XX）
TXP公司 1份文件引用(2005) 软件作者： Dudani，S.、Geada，J.、Jakacki，G.、Vainer，D。 相关软件： Java-MaC；LTL2BA；自旋蛋白 主要字段： 计算机科学（68-XX）