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 |
https://www.w3.org/2000/01/rdf-schema#label |
Wen-Tsun Wu
|
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
|