隔离 237篇文献引用(1999–2024) 软件作者： Fabrice的Rouillier；保罗·齐默尔曼 相关软件： 克罗内克；FGb；枫树… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
基准 28篇文献引用(2005–2023) 软件作者： 斯特凡·拉特肖恩（Stefan Ratschan）；她，志坤 相关软件： RSOLVER公司；HSolver；高科技… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PolyPaver公司 3份文件引用(2014–2018) 软件作者： 米查尔·科内奇、扬·杜拉茨 相关软件： CkAnalytic；泰勒；大写… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）
FP泰勒 1份文件引用（2022年） 软件作者： 阿列克谢·索洛维耶夫；Baranowski，Marek S。；Briggs Ian；查尔斯·雅各布森；茨沃尼米尔·拉卡马里奇；加内什·戈帕拉克里什南 相关软件： dReal；HOL灯；QEPCAD… 主要字段： 计算机科学（68-XX）