PHAVer公司 120篇文献引用(2005–2024) 软件作者： 戈兰·弗雷斯 相关软件： 高科技；SpaceEx；RSOLVER… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
日/日 40篇文献引用（2002年至2022年） 软件作者： 细辛，尤金；Dang，Thao；奥德·马勒 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
科科斯 19份文件引用（2006年至2019年） 软件作者： 印度 相关软件： 科学实验室；科学实验室；FreeFem++… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
C2e2型 14篇文献引用(2016–2022) 软件作者： P.Duggirala、S.Mitra、M.Viswanathan、M.Potok 相关软件： SpaceEx；流量*；CORA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…