| 项目负责人 | 李伟 |
| 依托单位 | 中国科学院数学与系统科学研究院 |
| 立项年份 | 2019 |
| 学科分类 | 计算复杂性与符号计算 |
| 资助来源 | 国家自然科学基金 |
| 项目状态 | 已立项 |
| 资助金额 | ¥52.0万 |
| 批准号 | 11971029 |
工具
该负责人其他项目
- “小城文化热”的经济传导困境及系统韧性构建研究(国社科,李伟,2025)
- 南海北部陆坡地形坡度对内潮耗散的调控机制研究(国自然,李伟,2025)
- 洋中脊橄榄岩从蛇纹石化到碳酸盐化:含碳流体演化和成矿效应研究(国自然,李伟,2025)
- 脑卒中后手部痉挛评估与康复一体化机器人关键技术研究(国自然,李伟,2025)
- 植物乳植杆菌胞外多糖基因驱动发酵豆乳蛋白凝胶多级结构演变的定向调控机制研究(国自然,李伟,2025)
- 长江源小头裸裂尻鱼埋卵孵化对高寒生境的选择性响应机制(国自然,李伟,2025)
- 我国银发经济的规模测度及其社会经济效应统计研究(国社科,李伟,2025)
- 规模负荷视角下超大城市基层政府责能失配与调适路径研究(国社科,李伟,2025)
中国科学院数学与系统科学研究院其他项目
- NonlinearLandauDampingfortheVlasov–PoissonSystem(国自然,QuocHungNguyen,2025)
- 具有状态与输入时滞的非线性随机系统的PID控制研究(国自然,万方哲,2025)
- 《数学译林》(国自然,付保华,2025)
- 矩阵代数簇上的符号计算(国自然,叶科,2025)
- 高安全性新型S-盒的构造及其编码应用研究(国自然,吴亚男,2025)
- 电子结构计算中的非线性迭代(国自然,周爱辉,2025)
- 非平稳大数据的计量经济学模型:经济预测和政策评估(国自然,奚晋,2025)
- 带连续标记的竞争风险数据的几类半参数回归模型的统计推断(国自然,孙六全,2025)
计算复杂性与符号计算学科其他项目
- 非线性传播模型解析近似解的并行符号算法研究(国自然,林晔智,2019)
- 理想插值算子的离散逼近研究及其应用(国自然,姜雪,2019)
- 基于图论的多项式系统求解(国自然,牟晨琪,2019)
- Serre的相关猜想与多维矩阵的Serre约化研究(国自然,刘金旺,2019)
- k-d-CSP模型的解空间结构和无回溯算法研究(国自然,徐伟,2018)
- 环的Gr?bner性质及多元多项式矩阵的分解与等价问题研究(国自然,李冬梅,2018)
- 实时环境下概率程序的符号验证方法及其参数化扩展(国自然,徐鸣,2018)
- 参数Groebner系统的算法研究及其在化学系统中的应用(国自然,马晓栋,2018)
相关期刊推荐
该学科领域可投稿的高影响期刊:
- ACM Computing Surveys(IF 30.400,JCR Q1)
- Nature Machine Intelligence(IF 29.800,JCR Q1)
- IEEE Transactions on Pattern Analysis and Machine Intelligence(IF 20.400,JCR Q1)
- Nature Computational Science(IF 20.300,JCR Q1)
- Journal of Big Data(IF 10.800,JCR Q1)