并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
枣灰蝶属 150篇文献引用(1997–2022) 软件作者： Bruno Buchberger、Tudor Jebelean、Temur Kutsia、Wolfgang Windsteiger、奥地利林茨大学RISC研究所Theorema小组 相关软件： Coq；Mathematica；Mizar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；交换代数（13-XX）…
欧米茄 61篇文献引用(2001–2023) 软件作者： 乔治·安德鲁斯（George E.Andrews）。；彼得·保罗；里瑟、阿克塞尔 相关软件： OEIS；LattE；数学… 主要字段： 组合数学（05-XX）；数论（11-XX）；交换代数（13-XX）…