A Criterion for Dependency of Algebraic Equations With Applications to Automated Theorem Proving
Jing Zhang · 1994
In this paper,a characteristic-set-based criterion is given to verify whether a polynomial is vanishing over an algebraic variety.The algorithm is feasible in practice,and does not depend on the decomposition of the variety.