自由Fem++ 1694年文献引用(2000–2024) 软件作者： 奥利维尔·皮罗内奥（Olivier Pironenau）、弗雷德里克·赫赫特（Frédéric Hecht）、安托万·勒海利奇（Antoine Le Hyaric）、雅克·莫里斯（Jacques Morice） 相关软件： PETSc；FEniCS；UMFPACK… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…