马蒂斯 34份文件引用(2007–2022) 软件作者： 安托万·吉拉德；乔治·帕帕斯。 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
跟踪器 在14份文件中引用(2012–2022) 软件作者： Jaffar，J.、Navas，J.A.、Santosa，A.E。 相关软件： SeaHorn；z3；VeriMAP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SPeeDI公司 7份文件引用(2002–2017) 软件作者： 细辛，尤金；佩斯，戈登；杰拉尔多·施奈德；塞尔吉奥·尤文 相关软件： GSPeeDI；高科技；ParaPlan… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
HyLAA公司 6篇文献引用（2017年-2023年） 软件作者： 斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 相关软件： 珊瑚；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；系统论；控制（93-XX）
马尔科 5份文件引用（2007年至2018年） 软件作者： 伯曼，春天；阿尔达姆·哈尔斯；库马尔，维杰 相关软件： 高科技；PHAVer；流量*… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
萨波 5份文件引用(2017–2022) 软件作者： 德罗西T 相关软件： SpaceEx；高科技；违约… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；系统论；控制（93-XX）
助手OC 3份文件引用(2020–2022) 软件作者： 索米尔·班萨尔、莫·陈、西尔维娅·赫伯特、克莱尔·汤姆林 相关软件： 工具箱LS；PILCO公司；Python… 主要字段： 变异微积分和最优控制；优化（49-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
DaDRA公司 在0个文档中引用 软件作者： Jared Mejia、Alex Devonport、Murat Arcak 相关软件： 阿里阿德涅；Isabelle/HOL；NLTOOLBOX… 主要字段： –
达尔文 1份文件引用(2008) 软件作者： G.H.Gonnet、M.T.Hallett、C.Korostensky和L.Bernardin 相关软件： – 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）
优化的DP 在0个文档中引用 软件作者： Minh Bui、George Giovanis、Mo Chen、Arrvindh Shriraman 相关软件： 异丙基氯；POMDPs.jl；TVM… 主要字段： –