圣杯 20篇文献引用(1994–2021) 软件作者： 达雷尔·雷蒙德；伍德，德里克 相关软件： 自动化；AMoRE；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
SMV公司 在13份文件中引用(1986–2018) 软件作者： 埃德·克拉克；K.L.麦克米兰；E.A.艾默生；J.R.伯奇 相关软件： 高科技；PHAVer；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
IPL-V公司 3份文件引用(1962–1970) 软件作者： 兰德公司；Newell，A.、Tonge，F.M.、Feigenbaum，E.A.、Mealy，G.H.、Saber，N.、Green，B.F.、Wolf，A.K 相关软件： – 主要字段： –