Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:National_Southwestern_Associated_University
|
| gptkbp:awardReceived |
gptkb:TWAS_Prize
gptkb:State_Preeminent_Science_and_Technology_Award |
| gptkbp:birthDate |
1919-05-12
|
| gptkbp:birthPlace |
gptkb:Shanghai
|
| gptkbp:deathDate |
2017-05-07
|
| gptkbp:deathPlace |
gptkb:Beijing
|
| gptkbp:field |
gptkb:algebraic_geometry
gptkb:mathematics differential geometry mechanical theorem proving |
| gptkbp:knownFor |
gptkb:Wu's_method
mechanical theorem proving |
| gptkbp:language |
gptkb:Chinese
English |
| gptkbp:memberOf |
gptkb:Chinese_Academy_of_Sciences
|
| gptkbp:nationality |
gptkb:Chinese
|
| gptkbp:occupation |
gptkb:mathematician
|
| gptkbp:otherName |
gptkb:Wu_Wenjun
|
| gptkbp:bfsParent |
gptkb:Mathematics_Mechanization_Research
|
| gptkbp:bfsLayer |
7
|
| http://www.w3.org/2000/01/rdf-schema#label |
Wen-Tsun Wu
|