SpaceEx公司 90篇文献引用(2011–2023) 软件作者： 戈兰·弗雷泽（Goran Frehse）、科拉斯·勒格尼奇（Colas Le Guernic）、亚历山大·唐泽（Alexandre Donzé）、斯科特·科顿（Scott Cotton）、拉贾西·雷（Rajarshi Ray）、奥利维尔·勒贝泰尔（Olivier Lebeltel）、鲁道夫·里帕多（Rodolf 相关软件： 高科技；流量*；PHAVer… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FAUST2型 19份文件引用(2017–2023) 软件作者： S.Esmaeil Zadeh Soudjani、C.Gevaerts、A.Abate 相关软件： 棱镜；SReachTools；静止… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
阿尼玛 5份文件引用(2014–2023) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 相关软件： 莫德；Web-TLR；DDebugger… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）