重新记录 171篇文献引用(1997–2024) 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯图尔姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数理逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
SegMatch（分段匹配） 26篇文献引用(2003–2022) 软件作者： Tamal K Dey、Samrat Goswami 相关软件： 权力外壳；CGAL；TetGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…