针 8份文件引用（2019年至2022年） 软件作者： De Coninck，A。；De Baets，B。；库鲁尼斯，D。；Verbosio，F。；申克，O。；Maenhout，S。；Fostier，J。 相关软件： 流行性腮腺炎；PETSc；PCBDDC… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
鳄鱼 2份文件引用(2010–2020) 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Thibaud Hottelier；劳拉·科瓦奇（Laura Kovács）；安德烈·里巴尔琴科 相关软件： z3；助推器；Daikon… 主要字段： 计算机科学（68-XX）