GF公司 30篇文献引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： Coq；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
太极 6篇文献引用(2021–2023) 软件作者： 胡，Y。；李，T-M；安德森，L。；Ragan-Kelley，J。；杜兰德，F。 相关软件： DiffTaichi；PyTorch；MPM3D… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…