搜索到 篇“ 数学机械化 “的相关文章

相关作者

傅海伦
作品数：158被引量：521H指数：11
供职机构：山东师范大学
研究主题：数学教学 数学 数学机械化 数学史 数学教育
张景中
作品数：362被引量：845H指数：16
供职机构：中国科学院
研究主题：数学 数学家 数学教学 超级画板 微积分
吴文俊
作品数：18被引量：50H指数：5
供职机构：中国科学院数学与系统科学研究院系统科学研究所
研究主题：数学 数学机械化 机器证明 《九章算术》 数学教育
张鸿庆
作品数：147被引量：1,184H指数：21
供职机构：大连理工大学数学科学学院
研究主题：精确解 孤波解 非线性演化方程 非线性发展方程 行波解
曾振柄
作品数：85被引量：306H指数：10
供职机构：上海大学理学院数学系
研究主题：可读证明 多项式 特征提取 数据挖掘 小波变换