Abstract
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.
Jingzhong, Zhang;
Xiaorong, Hou;
[1]
Lu, Yang
- Academia Sinica, Sichuan (China). Inst. of Mathematical Sciences
Citation Formats
Jingzhong, Zhang, Xiaorong, Hou, and Lu, Yang.
A note on Wu Wen-Tsuen`s non-degenerate condition.
IAEA: N. p.,
1991.
Web.
Jingzhong, Zhang, Xiaorong, Hou, & Lu, Yang.
A note on Wu Wen-Tsuen`s non-degenerate condition.
IAEA.
Jingzhong, Zhang, Xiaorong, Hou, and Lu, Yang.
1991.
"A note on Wu Wen-Tsuen`s non-degenerate condition."
IAEA.
@misc{etde_10105551,
title = {A note on Wu Wen-Tsuen`s non-degenerate condition}
author = {Jingzhong, Zhang, Xiaorong, Hou, and Lu, Yang}
abstractNote = {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.}
place = {IAEA}
year = {1991}
month = {Jul}
}
title = {A note on Wu Wen-Tsuen`s non-degenerate condition}
author = {Jingzhong, Zhang, Xiaorong, Hou, and Lu, Yang}
abstractNote = {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.}
place = {IAEA}
year = {1991}
month = {Jul}
}