算法949 10篇文献引用（2015年至2022年） 软件作者： 傅志兴；路易斯·加蒂卡（Luis F.Gatica）。；弗朗西斯科·哈维尔·萨亚斯 相关软件： Matlab；FESTUNG公司；Gmsh… 主要字段： 历史与传记（01-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
POEM公司 8份文件引用(2006–2022) 软件作者： 普罗旺斯大学；彼得·尼伯特（Peter Niebert）；曲洪阳 相关软件： Uppaal；自旋蛋白；IF-2.0… 主要字段： 计算机科学（68-XX）
狂热的 7份文件引用(2011–2021) 软件作者： Foster，N.、Harrison，R.、Freedman，M.J.、Monsanto，C.、Rexford，J.、Story，A.、Walker，D。 相关软件： NetKAT；荨麻；VeriCon… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
快速鸡 7份文件引用（2015年至2022年） 软件作者： Paraskevopoulou，佐伊；Hriţcu，科特林；邓内斯，马克西姆；Lampropoulos，列奥尼达斯；本杰明·皮尔斯。 相关软件： 快速检查；PVS；Coq… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
PRODeep公司 2份文件引用(2021) 软件作者： 李锐，李杰，黄CC，杨P，黄X，张L，薛B，Hermanns H 相关软件： Reluplex；马拉博；阿波罗… 主要字段： 计算机科学（68-XX）
见证人 1份文件引用（2018年） 软件作者： 汉娜·阿恩特；克里斯蒂娜·詹森（Christina Jansen）；克里斯托夫·马提亚（Christoph Matheja）；诺尔，托马斯 相关软件： 贾格诺 主要字段： 计算机科学（68-XX）
CRDT公司 1份文件引用(2020) 软件作者： 维克托·戈麦斯（Victor B.F.Gomes）；马丁·克莱普曼；多米尼克·P·穆利根（Dominic P.Mulligan）；阿拉斯泰尔·贝雷斯福德 相关软件： github；存档正式证据；布吉 主要字段： 计算机科学（68-XX）