隔离 25篇文献引用(2005–2023) 软件作者： 塞德尔，雷蒙德；尼古拉·沃尔珀特 相关软件： 隔离；枫树；阿克塞尔… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
冲浪 8份文件引用(2001–2017) 软件作者： S.Endrass、H.Huelf、R.Oertel、R.Schmitt、K.Schneider、J.Beigel 相关软件： 单数；枫树；GeoGebra… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
决定性陈述 6篇文献引用(2020–2023) 软件作者： 陈，贾斯汀；爸爸，爸爸 相关软件： 麦考利2号；贝尔蒂尼 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…