并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
电气 141份文件引用(1981–2024) 软件作者： 菲格拉，J.，穆索，V.，罗伊，B 相关软件： UTA Plus；视觉UTA；M-MACBETH… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
爱丽丝 2份文件引用(2014–2018) 软件作者： 费维安·梅森纽夫（Vivien Maisonneuve）、奥利维尔·赫曼特（Olivier Hermant）、弗朗索瓦·伊里戈因（François Irigoin） 相关软件： ASTREE公司；烟尘；PPL… 主要字段： 计算机科学（68-XX）