费马 47篇文献引用(1997–2022) 软件作者： Robert H.Lewis博士网址：http://www.bway.net/~刘易斯 相关软件： 形式；雷杜泽；基拉… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；数值分析（65-XX）…
尼莫 33篇文献引用(2017–2024) 软件作者： 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊 相关软件： 赫克；朱莉娅；间隙… 主要字段： 数论（11-XX）；代数几何（14-XX）；结合环和代数（16-XX）…
见鬼去吧 31份文件引用(2017–2024) 软件作者： 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊 相关软件： 尼莫；朱莉娅；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；偏微分方程（35-XX）…