摘要
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.
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.
基金
Project supported by the National "Scaling" Plan
