OPTIMAS公司 19份文件引用(1993–2021) 软件作者： 佩金，S。；爱泼斯坦，B。 相关软件： 基因组学；TensorFlow；Pluribus… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；流体力学（76-XX）…
冲刺 9份文件引用(2007–2010) 软件作者： 约翰·考克斯、克里斯托夫·德诺夫、巴特·范霍夫和理查德·斯塔尔 相关软件： – 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）…
波乔里 10篇文献引用(2013–2019) 软件作者： Tang，Y.、Chowdhury，R.A.、Kuszmaul，B.C.、Luk，C.K.、Leiserson，C.E。 相关软件： PATUS公司；GPU验证；Coq… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PAFMPB公司 6篇文献引用(2015–2019) 软件作者： 张波；彭博；黄景芳；Nikos P.Pitsianis。；孙晓白；卢、本佐 相关软件： 塔比卜；TMSmesh；AFMPB… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…