搜索到 篇“ 数学形式化 “的相关文章

相关作者

陈亮
作品数：8被引量：12H指数：2
供职机构：东北财经大学
研究主题：大豆产业 巴西大豆 政府政策 卫星账户 统计分类
赵丕卿
作品数：6被引量：4H指数：1
供职机构：青岛科技大学数理学院
研究主题：N X^2 PELL方程 本原解 解集
李利民
作品数：1被引量：2H指数：1
供职机构：湖南省耒阳市第二中学
研究主题：高中数学 课改 逻辑推导 情境教学法 数学形式化
俞昕
作品数：184被引量：186H指数：6
供职机构：浙江省杭州高级中学
研究主题：高中数学 数学 数学教学 数学教师 高中数学教学
郑虹婷
作品数：12被引量：11H指数：2
供职机构：鹰潭职业技术学院
研究主题：高等数学 高职院校高等数学 高职院校 课程建设 优质课程