限定条件 |
((出处:JOURNAL OF SYMBOLIC COMPUTATION) AND (资助项目:Beijing Advanced Innovation Center for Big Data and Brain Computing, Beihang University) AND (资助项目:CAS-SAFEA International Partnership Program for Creative Research Teams) AND (资助项目:Chinese Academy of Sciences Key Project[QYZDJ-SSWSYS022]) AND (资助项目:National Natural Science Foundation of China[11371356]) AND (资助项目:National Natural Science Foundation of China[61877058]) AND (资助项目:National Science Foundation[DMS-1217054]) AND (文献类型:期刊论文) AND (作者:2s8okbnm-000130)) |