Wu Wenjun

GPTKB entity

Statements (48)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:National_Southwestern_Associated_University
gptkb:University_of_Strasbourg
gptkbp:awardReceived gptkb:TWAS_Prize
gptkb:Ho_Leung_Ho_Lee_Prize
gptkb:State_Preeminent_Science_and_Technology_Award
gptkbp:birthDate 1919-05-12
gptkbp:birthPlace gptkb:Shanghai
gptkbp:children gptkb:Wu_Yiming
gptkbp:deathDate 2017-05-07
gptkbp:deathPlace gptkb:Beijing
gptkbp:doctoralAdvisor gptkb:Charles_Ehresmann
gptkbp:editor gptkb:Collected_Works_of_Wu_Wenjun
gptkb:Mathematics_Mechanization_Research
gptkbp:employer gptkb:Chinese_Academy_of_Sciences
gptkb:Peking_University
gptkb:Institute_of_Mathematics,_Chinese_Academy_of_Sciences
gptkbp:field gptkb:algebraic_geometry
gptkb:logic
gptkb:mathematics
gptkb:topology
mechanization of mathematics
gptkbp:honor Asteroid 7683 Wuwenjun named after him
Wu Wenjun Mathematics Award named after him
https://www.w3.org/2000/01/rdf-schema#label Wu Wenjun
gptkbp:influenced Chinese mathematics
mathematical mechanization
gptkbp:influencedBy gptkb:Henri_Cartan
gptkb:Charles_Ehresmann
gptkbp:knownFor gptkb:Wu's_method
gptkb:Wu_class
contributions to algebraic topology
mechanization of mathematics
gptkbp:language gptkb:Chinese
gptkb:French
gptkbp:memberOf gptkb:Chinese_Academy_of_Sciences
gptkb:The_World_Academy_of_Sciences
gptkb:Academia_Sinica
gptkbp:nationality gptkb:Chinese
gptkbp:occupation gptkb:mathematician
gptkbp:publishedIn A mechanized method of geometric theorem proving
On the realization of complexes in Euclidean space
On the theory of imbedding of compact differentiable manifolds in Euclidean space
gptkbp:residence gptkb:Beijing
gptkbp:spouse gptkb:Zhang_Zhongying
gptkbp:bfsParent gptkb:Shanghai_Jiao_Tong_University
gptkb:State_Preeminent_Science_and_Technology_Award
gptkbp:bfsLayer 5