限定条件 |
((收录类别:SCI) AND (出处:JOURNAL OF SYMBOLIC COMPUTATION) AND (发表日期:2021) 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])) |