LiteRed公司 160篇文献引用(2013–2024) 软件作者： R·李 相关软件： 火灾；雷杜泽；消防5… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
VeriFast公司 75篇文献引用（2009年-2023年） 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森斯 相关软件： 达夫尼；布吉；z3… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Wolfram功能站点 42篇文献引用(2007–2023) 软件作者： Wolfram研究公司。 相关软件： DLMF；Mathematica；仲裁… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
第页，共页 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
iSAX公司 9份文件引用(2011–2022) 软件作者： 谢赫（J.Shieh）；E.J.基奥 相关软件： PhysioToolkit；CMU运动捕捉；UCI-ml… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
SFA公司 10篇文献引用(2015–2023) 软件作者： Schäfer P，Högqvist M 相关软件： 火箭；UCR套件；scmamp… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；特里普，奥马尔；墨菲·贝尔齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
人民 6篇文献引用(2019–2021) 软件作者： 杨芳凯、吕道明、刘波、史蒂文·古斯塔夫森 相关软件： REBA；BWIBots；ALM… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
菲奥迪 4份文件引用(2007–2023) 软件作者： 杜阿尔特，L.G.S。；达莫塔，L.A.C.P。；努内兹，E。 相关软件： InSyDE；菲奥迪；枫树… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
欧几里得 2份文件引用(2012–2017) 软件作者： 阿尔诺·哥特利布（Arnaud Gotlieb）；本杰明·卡玛；IRISA的Lande项目团队 相关软件： 可爱的；投掷；Pex… 主要字段： 计算机科学（68-XX）
软盘 1份文件引用(2016) 软件作者： Lakhotia，K.、Tillmann，N.、Harman，M.、de Halleux，J。 相关软件： 澳大利亚；CBMC；DART… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
InSyDE公司 引用于3份文件（2019年-2023年） 软件作者： Avellar，J。；Cardoso，M.S。；杜阿尔特，L.G.S。；达莫塔，L.A.C.P。 相关软件： 菲奥迪；菲奥迪；枫树 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PySR公司 2份文件引用(2023–2024) 软件作者： 克兰默，M。 相关软件： CANN；FPINN；NeuralUQ… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；地球物理学（86-XX）…
修订SCA 引用于3份文件(2020–2021) 软件作者： Mahzoon，A.、Große，D.、Drechsler，R。 相关软件： PolyCleaner；GenMul；multgen… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
显式PRISMSymm 2份文件引用(2015) 软件作者： 帕特尔，里马；凯文·帕特尔（Kevin Patel）；Patel，迪伦 相关软件： 棱镜 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
狼 2份文件引用(2005–2007) 软件作者： 沙龙·巴纳；Ziv Glazberg；Ishai Rabinovitz 相关软件： Java PathFinder 主要字段： 计算机科学（68-XX）
JUGE公司 在0个文档中引用 软件作者： Xavier Devroey、Alessio Gambi、Juan Pablo Galeotti、RenéJust、Fitsum Kifetew、Annibale Panichella、Sebastiano Panichella 相关软件： EvoSuite；JUnit公司；缺陷4J… 主要字段： ——
StarFinder公司 1份文件引用(2019) 软件作者： Pham，Long H。；Le，Quang Loc；Phan，Quoc-Sang；孙军；秦胜超 相关软件： 日本煤炭公司；JBSE；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
符号DNN-Tuner 1份文件引用(2022) 软件作者： 米歇尔·弗拉卡罗利；伊芙琳娜·拉姆；法布里齐奥·里古齐 相关软件： PRMLT；ProxylessNAS；飞镖… 主要字段： 计算机科学（68-XX）
MSeqGen公司 在0个文档中引用 软件作者： Suresh Thummalapenta；陶燮；尼古拉·蒂尔曼；乔纳森·德哈勒克斯（Jonathan de Halleux）；沃尔夫拉姆·舒尔特 相关软件： —— 主要字段： ——