Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:appliesTo |
polynomial equations
|
| gptkbp:basedOn |
characteristic set method
|
| gptkbp:countryOfOrigin |
gptkb:China
|
| gptkbp:field |
gptkb:algebraic_geometry
automated theorem proving |
| https://www.w3.org/2000/01/rdf-schema#label |
Wu's method
|
| gptkbp:introducedIn |
1978
|
| gptkbp:inventedBy |
gptkb:Wu_Wenjun
|
| gptkbp:notableFor |
computer algebra systems
mechanization of geometry |
| gptkbp:notablePublication |
On the decision problem and the mechanization of theorem proving in elementary geometry
|
| gptkbp:usedFor |
proving geometric theorems
|
| gptkbp:bfsParent |
gptkb:Wu_Wenjun
gptkb:王文俊 gptkb:Wu_Zhonghua |
| gptkbp:bfsLayer |
6
|