若干离散几何问题及反问题的机器证明与可解释性研究

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• Thomson问题的机械化算法研究（国自然，冷拓，2015）

上海大学其他项目

• 教育焦虑下的父母信念偏差：基于动机性视角的识别、机制与治理（国自然，杨雯渊，2026）
• 数字平台内多边竞合对新创企业国际化成长的影响机制研究（国自然，刘一蕙，2026）
• 风险投资对科创企业均衡成长的影响机制研究：基于二元匹配视角（国自然，卢青云，2026）
• 利益相关者视角下旅游企业数字责任的可持续价值创造机制研究（国自然，吴栋栋，2026）
• 平台零工工作者数字尊严的双元结构及其影响机制研究（国自然，周琼瑶，2026）
• 面向低碳航运的新能源船舶运营决策与补给设施协同优化研究（国自然，张霜露，2026）
• 基于eVTOL的载人接力运输运营优化模型与算法研究（国自然，赫雪婷，2026）
• 信息不对称下应急物资政企联合储备鲁棒决策优化与机制设计研究（国自然，孙华丽，2026）