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
|