TY - RPRT
TI - A note on Wu Wen-Tsuen`s non-degenerate condition
AB - It is shown that Wu`s non-degenerate condition which plays an important role in Wu`s theory on algebraic system and automated theorem proving can be replaced with a much weaker one, so the characteristic-set-based method is extensively valid except for very few trivial instances. (author). 6 refs.
AU - Jingzhong, Zhang
AU - Xiaorong, Hou [Academia Sinica, Sichuan (China). Inst. of Mathematical Sciences]
AU - Lu, Yang
KW - 71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSICS
KW - DIFFERENTIAL EQUATIONS
KW - ALGORITHMS
KW - ALGEBRA
KW - POLYNOMIALS
KW - 661000
KW - GENERAL PHYSICS
DO -
UR -
PB -
CY - IAEA
PY - 1991
DA - 1991-07-01
LA - English
J2 -
C1 - International Centre for Theoretical Physics (ICTP), Trieste (Italy)
C2 -
ER -