PAG公司 20篇文献引用(1996–2018) 软件作者： 弗洛里安·马丁 相关软件： NINJA公司；爆破；MPI/MPICH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…