A CRITERION FOR DEPENDENCY OF ALGEBRAIC EQUATIONS WITH APPLICATIONS TO AUTOMATED THEOREM-PROVING

Authors
ZHANG JZ YANG L HOU XR
Citation
Jz. Zhang et al., A CRITERION FOR DEPENDENCY OF ALGEBRAIC EQUATIONS WITH APPLICATIONS TO AUTOMATED THEOREM-PROVING, Science in China. Series A, Mathematics, Physics, Astronomy & Technological Sciences, 37(5), 1994, pp. 547-554
Citations number
10
Categorie Soggetti
Multidisciplinary Sciences
Journal title
Science in China. Series A, Mathematics, Physics, Astronomy & Technological Sciences → ACNP
ISSN journal
10016511
Volume
37
Issue
5
Year of publication
1994
Pages
547 - 554
Database
ISI
SICI code
1001-6511(1994)37:5<547:ACFDOA>2.0.ZU;2-8
Abstract
In this paper, a characteristic-set-based criterion is given to verify whether a polynomial is vanishing over an algebraic variety. The algo rithm is feasible in practice, and does not depend on the decompositio n of the variety.