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
|