You need JavaScript to view this

A note on Wu Wen-Tsuen`s non-degenerate condition

Technical Report:

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.
Authors:
Jingzhong, Zhang; Xiaorong, Hou; [1]  Lu, Yang
  1. Academia Sinica, Sichuan (China). Inst. of Mathematical Sciences
Publication Date:
Jul 01, 1991
Product Type:
Technical Report
Report Number:
IC-91/160
Reference Number:
SCA: 661000; PA: AIX-22:081533; SN: 91000608730
Resource Relation:
Other Information: PBD: Jul 1991
Subject:
71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSICS; DIFFERENTIAL EQUATIONS; ALGORITHMS; ALGEBRA; POLYNOMIALS; 661000; GENERAL PHYSICS
OSTI ID:
10105551
Research Organizations:
International Centre for Theoretical Physics (ICTP), Trieste (Italy)
Country of Origin:
IAEA
Language:
English
Other Identifying Numbers:
Other: ON: DE92609041; TRN: XA9129680081533
Availability:
OSTI; NTIS (US Sales Only); INIS
Submitting Site:
INIS
Size:
10 p.
Announcement Date:
Jun 30, 2005

Technical Report:

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}
}