搜索到 篇“ 机械化证明 “的相关文章

相关作者

黄明
作品数：2被引量：0H指数：0
供职机构：南京航空航天大学
研究主题：几何定理 机械化证明 机械化 NAGEL
曾振柄
作品数：88被引量：307H指数：10
供职机构：上海大学理学院数学系
研究主题：多项式 可读证明 数学机械化 特征提取 数据挖掘
王天明
作品数：1被引量：0H指数：0
供职机构：海南师范学院
研究主题：机械化证明 组合数学 组合恒等式
刘丽霞
作品数：3被引量：1H指数：1
供职机构：上海中学
研究主题：选修课程 高中数学 高中教育 机械化证明 机械化
马娜
作品数：7被引量：2H指数：1
供职机构：青岛科技大学
研究主题：船用 测绘 海洋测绘 高压气体 信号线