机器证明与发明的数值并行法

工具

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

该负责人其他项目

• 云教育平台构建若干关键技术创新研究（国自然，张景中，2012）
• 欧氏几何新体系与教育数学（国自然，张景中，1991）
• 微分动力系统与泛函方程及多项式微分系统定性理论（国自然，张景中，1986）

中国科学院成都分院其他项目

• 多项问题数值解新技术（国自然，吕涛，1991）
• 微分方程的不变形理论及其在分枝问题上的应用（国自然，张伟年，1991）
• 欧氏几何新体系与教育数学（国自然，张景中，1991）
• 测粘拉伸流动的计算智能解析理论（国自然，韩式方，1991）
• 丘陵旱地聚土免耕耕作法增产机制与发展研究（国自然，张先婉，1991）
• 气固（液固）两相湍流的数值模拟（国自然，陈天翔，1990）
• 螯合亚铁肥料的合成及其对植物营养规律的研究（国自然，周忠远，1989）
• 随机逼近与递推估计的渐近性质及并行处理（国自然，朱允民，1989）

数理逻辑和与计算机相关的数学学科其他项目

• 集合论方法在递归论中的应用（国自然，喻良，2016）
• 复杂推理的序、代数和逻辑方法及其计量化模型（国自然，赵彬，2015）
• 半代数混杂系统形式化分析与验证的例证法研究（国自然，吴尽昭，2014）
• 不确定系统中的伪加权下推计算模型研究（国自然，金检华，2014）
• 混成系统验证与分析（国自然，佘志坤，2014）
• 可计算枚举度与d.c.e.度之间的结构性质交叉研究（国自然，王慎玲，2014）
• 控制系统形式化设计中逻辑特征应用的研究（国自然，张晋津，2014）
• 基于量子逻辑的不确定性计算模型及其应用研究（国自然，韩召伟，2014）