在算法竞赛中，以下哪项不是利用符号计算自动化判定几何定理的方法？ A. 利用符号计算进行几何图形的自动化分析 B. 使用Gröbner基判定多项式方程的解的性质 C. 采用数值方法求解几何问题 D. 利用符号计算进行几何定理的证明 答案解析 本题考查符号计算在几何定理判定中的应用。数值方法通常不用于符号计算，它是基于数值解的，而不是符号解。A、B、D选项都是利用符号计算进行几何定理判定的方法。 正确答案：C