A note on Wu Wen-Tsuen`s non-degenerate condition
Jingzhong, Zhang; Xiaorong, Hou [Academia Sinica, Sichuan (China). Inst. of Mathematical Sciences]; Lu, Yang
71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSICS; DIFFERENTIAL EQUATIONS; ALGORITHMS; ALGEBRA; POLYNOMIALS; 661000; GENERAL PHYSICS
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.
International Centre for Theoretical Physics (ICTP), Trieste (Italy)
OSTI; NTIS (US Sales Only); INIS
IAEA
1991-07-01
English
Technical Report
Other Information: PBD: Jul 1991
Medium: X; Size: 10 p.
ON: DE92609041
IC-91/160
Other: ON: DE92609041; TRN: XA9129680081533
INIS; SCA: 661000; PA: AIX-22:081533; SN: 91000608730
2008-02-12
10105551