Wu Wen-ching

URI: https://gptkb.org/entity/Wu_Wen-ching

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:mathematician
gptkbp:almaMater	gptkb:National_Southwestern_Associated_University gptkb:Université_de_Strasbourg
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:doctoralAdvisor	gptkb:Charles_Ehresmann
gptkbp:field	gptkb:algebraic_geometry gptkb:mathematics mechanization of mathematics
gptkbp:knownFor	gptkb:Wu's_method mechanical theorem proving
gptkbp:memberOf	gptkb:Chinese_Academy_of_Sciences gptkb:The_World_Academy_of_Sciences
gptkbp:nationality	gptkb:Chinese
gptkbp:workInstitution	gptkb:Chinese_Academy_of_Sciences gptkb:Peking_University
gptkbp:bfsParent	gptkb:Ady_An
gptkbp:bfsLayer	8
http://www.w3.org/2000/01/rdf-schema#label	Wu Wen-ching