Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences
URI: https://gptkb.org/entity/Key_Laboratory_of_Mathematics_Mechanization,_Chinese_Academy_of_Sciences
GPTKB entity
Statements (9)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:research_institute
|
gptkbp:affiliatedWith |
gptkb:Chinese_Academy_of_Sciences
|
gptkbp:focusesOn |
computer algebra
symbolic computation mathematics mechanization |
https://www.w3.org/2000/01/rdf-schema#label |
Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences
|
gptkbp:locatedIn |
gptkb:Beijing
|
gptkbp:bfsParent |
gptkb:Mathematics_Mechanization_Research
|
gptkbp:bfsLayer |
7
|